Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "CAAP"( http://dblp.L3S.de/Venues/CAAP )

URL (DBLP): http://dblp.uni-trier.de/db/conf/caap

Publication years (Num. hits)
1981 (26) 1983 (27) 1984 (23) 1986 (23) 1988 (21) 1990 (19) 1992 (20) 1994 (24) 1996 (24)
Publication types (Num. hits)
inproceedings(198) proceedings(9)
Venues (Conferences, Journals, ...)
CAAP(207)
Authors
Bruno Courcelle(4) René Schott(4) Gérard Boudol(3) Giorgio Ausiello(3) Giuseppe Longo(3) Helmut Seidl(3) Jean Françon(3) Mario Coppo(3) Martin Wirsing(3) Ugo Montanari(3) Alberto Marchetti-Spaccamela(2) Andrzej Lingas(2) Andrzej Tarlecki(2) Donatella Merlini(2) Elias Dahlhaus(2) Eric Lilin(2) More (+10 of total 286)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 78 occurrences of 67 keywords
Results
Found 207 publication records. Showing 207 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Marc Bergman, Pierre Deransart Abstract Data Types and Rewriting Systems: Application to the Programming of Algebraic Abstract Data Types in Prolog. Search on Bibsonomy CAAP The full citation details ... 1981 DBLP  DOI  BibTeX  RDF proof of equational properties, Knuth-Bendix algorithm, PROLOG, operational semantics, Abstract Data Type, rewriting systems
1Yehoshua Perl, Yossi Shiloach Efficient Optimization of Monotonic Functions on Trees. Search on Bibsonomy CAAP The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Stephen L. Bloom, David B. Patterson Easy Solutions are Hard To Find. Search on Bibsonomy CAAP The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Jürgen Avenhaus, Klaus Madlener How to Compute Generators for the Intersection of Subgroups in Free Groups. Search on Bibsonomy CAAP The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Marie-Pierre Franchi-Zannettacci Evaluation d'Arbre Pour un Calcul Formel (Application a l'Enumeration de Proteines). Search on Bibsonomy CAAP The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Simona Ronchi Della Rocca Discriminability of Infinite Sets of Terms in the Dinfinity-Models of the lambda-calculus. Search on Bibsonomy CAAP The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz, Shmuel Zaks Applied Tree Enumerations. Search on Bibsonomy CAAP The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
Displaying result #201 - #207 of 207 (100 per page; Change: )
Pages: [<<][1][2][3]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license