Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Rolf Klein, Derick Wood |
On the Maximum Path Length of AVL Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '88, 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988, Proceedings, pp. 16-27, 1988, Springer, 3-540-19021-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
brother trees, comparison cost, node visit cost, AVL trees, path length |
1 | Zdzislaw Habasinski |
Regular Automata and Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '88, 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988, Proceedings, pp. 231-243, 1988, Springer, 3-540-19021-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Max Dauchet, Maurice Nivat (eds.) |
CAAP '88, 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![Springer, 3-540-19021-X The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Cornelis Huizing, Rob Gerth, Willem P. de Roever |
Modeling Statecharts Behaviour in a Fully Abstract Way. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '88, 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988, Proceedings, pp. 271-294, 1988, Springer, 3-540-19021-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
1 | E. Pascal Gribomont |
Proving Systolic Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '88, 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988, Proceedings, pp. 185-199, 1988, Springer, 3-540-19021-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Parisi-Presicce |
Product and Iteration of Module Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '88, 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988, Proceedings, pp. 149-164, 1988, Springer, 3-540-19021-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Rachid Echahed |
On Comleteness of Narrowing Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '88, 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988, Proceedings, pp. 89-101, 1988, Springer, 3-540-19021-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Nipkow |
Unification in Primal Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '88, 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988, Proceedings, pp. 117-131, 1988, Springer, 3-540-19021-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
1 | René Schott |
Random Walks on Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '86, 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986, Proceedings, pp. 225-237, 1986, Springer, 3-540-16443-X. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
method of Darboux, generator, tree, Random walk, generating function, dynamic data structure, asymptotic behavior |
1 | Grazyna Mirkowska, Andrzej Salwicki |
On Applications of Algorithmic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '86, 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986, Proceedings, pp. 288-306, 1986, Springer, 3-540-16443-X. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
algorithmic logic, LOGLAN, verification, specification, program, implementation, computation, completeness, extension, modules, expressivity, inference rules, axioms, semantical properties |
1 | Robert Cori, Serge Dulucq |
Colourings of Planar Maps and the Equality of Two Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '86, 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986, Proceedings, pp. 6-16, 1986, Springer, 3-540-16443-X. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Elias Dahlhaus, Johann A. Makowsky |
Computable Directory Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '86, 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986, Proceedings, pp. 254-265, 1986, Springer, 3-540-16443-X. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Heiko Vogler |
Basic Tree Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '86, 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986, Proceedings, pp. 183-195, 1986, Springer, 3-540-16443-X. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Devienne, Patrick Lebègue |
Weighted Graphs: A Tool for Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '86, 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986, Proceedings, pp. 100-111, 1986, Springer, 3-540-16443-X. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Elias Dahlhaus, Manfred K. Warmuth |
Membership for Growing Context Sensitive Grammars is Polynomial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '86, 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986, Proceedings, pp. 85-99, 1986, Springer, 3-540-16443-X. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Pettorossi |
Transformation Strategies for Deriving On Line Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '86, 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986, Proceedings, pp. 127-141, 1986, Springer, 3-540-16443-X. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Alex Pelin, Jean H. Gallier |
Exact Computation Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '86, 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986, Proceedings, pp. 45-59, 1986, Springer, 3-540-16443-X. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Jacquet, Mireille Régnier |
Trie Partitioning Process: Limiting Distributions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '86, 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986, Proceedings, pp. 196-210, 1986, Springer, 3-540-16443-X. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Michel Bauderon, Bruno Courcelle |
An Algebraic Formalism for Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '86, 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986, Proceedings, pp. 74-84, 1986, Springer, 3-540-16443-X. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Kai Salomaa |
Alternating Bottom-Up Tree Recognisers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '86, 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986, Proceedings, pp. 158-171, 1986, Springer, 3-540-16443-X. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Casas, Jean-Marc Steyaert |
Bottom-Up Recursion in Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '86, 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986, Proceedings, pp. 172-182, 1986, Springer, 3-540-16443-X. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Asperti, Giuseppe Longo |
Relating Type-Structures: Partial Variations on a Theme of Friedman and Statman. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '86, 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986, Proceedings, pp. 266-287, 1986, Springer, 3-540-16443-X. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Joffroy Beauquier, Béatrice Bérard |
On the Equivalence of Synchronization Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '86, 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986, Proceedings, pp. 17-29, 1986, Springer, 3-540-16443-X. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Gheorghe Stefanescu |
An Algebraic Theory of Flowchart Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '86, 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986, Proceedings, pp. 60-73, 1986, Springer, 3-540-16443-X. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Ran Rinat, Nissim Francez, Orna Grumberg |
Infinite Trees, Markings and Well Foundedness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '86, 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986, Proceedings, pp. 238-253, 1986, Springer, 3-540-16443-X. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Eric G. Wagner |
A Categorical Treatment of Pre- and Post Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '86, 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986, Proceedings, pp. 1-5, 1986, Springer, 3-540-16443-X. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Parisi-Presicce |
Inner and Mutual Compatibility of Basic Operations on Module Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '86, 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986, Proceedings, pp. 30-44, 1986, Springer, 3-540-16443-X. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Gilberto Filé |
Classical and Incremental Evaluators for Attribute Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '86, 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986, Proceedings, pp. 112-126, 1986, Springer, 3-540-16443-X. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Guy Louchard |
Random Walks, Gaussian Processes, and List Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '86, 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986, Proceedings, pp. 211-224, 1986, Springer, 3-540-16443-X. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Paul Franchi-Zannettacci (eds.) |
CAAP '86, 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![Springer, 3-540-16443-X The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | David de Frutos-Escrig |
Probabilistic Ianov's Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '86, 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986, Proceedings, pp. 142-157, 1986, Springer, 3-540-16443-X. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Ronald I. Becker, Stephen R. Schach |
A Bottom-Up Algorithm for Weight- and Height-Bounded Minimal Partitions of Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'84, 9th Colloquium on Trees in Algebra and Programming, Bordeaux, France, March 5-7, 1984, Proceedings, pp. 63-72, 1984, Cambridge University Press, 0-521-26750-1. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | A. Kanda |
Numeration Models of Lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'84, 9th Colloquium on Trees in Algebra and Programming, Bordeaux, France, March 5-7, 1984, Proceedings, pp. 155-168, 1984, Cambridge University Press, 0-521-26750-1. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Jean-Pierre Braquelaire |
Graphs and Rational Expressions Denoting Regular Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'84, 9th Colloquium on Trees in Algebra and Programming, Bordeaux, France, March 5-7, 1984, Proceedings, pp. 73-92, 1984, Cambridge University Press, 0-521-26750-1. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | M. Soria, Jean-Marc Steyaert |
Average Efficiency of Pattern Matching on LISP Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'84, 9th Colloquium on Trees in Algebra and Programming, Bordeaux, France, March 5-7, 1984, Proceedings, pp. 271-282, 1984, Cambridge University Press, 0-521-26750-1. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Bruno Courcelle (eds.) |
CAAP'84, 9th Colloquium on Trees in Algebra and Programming, Bordeaux, France, March 5-7, 1984, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![Cambridge University Press, 0-521-26750-1 The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Ingo Wegener |
Optimal Decisions Trees and One-Time-Only Branching Programs for Symmetric Boolean Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'84, 9th Colloquium on Trees in Algebra and Programming, Bordeaux, France, March 5-7, 1984, Proceedings, pp. 313-325, 1984, Cambridge University Press, 0-521-26750-1. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Wolfgang Thomas |
Logical Aspects in the Study of Tree Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'84, 9th Colloquium on Trees in Algebra and Programming, Bordeaux, France, March 5-7, 1984, Proceedings, pp. 31-50, 1984, Cambridge University Press, 0-521-26750-1. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | K. Theobald |
A Theory of Representable Cpo's. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'84, 9th Colloquium on Trees in Algebra and Programming, Bordeaux, France, March 5-7, 1984, Proceedings, pp. 283-298, 1984, Cambridge University Press, 0-521-26750-1. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Jean-Claude Raoult |
On Graph Rewritings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'84, 9th Colloquium on Trees in Algebra and Programming, Bordeaux, France, March 5-7, 1984, Proceedings, pp. 243-256, 1984, Cambridge University Press, 0-521-26750-1. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Giuseppe Longo |
Continuous Structures and Analytic Methods in Computer Science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'84, 9th Colloquium on Trees in Algebra and Programming, Bordeaux, France, March 5-7, 1984, Proceedings, pp. 1-22, 1984, Cambridge University Press, 0-521-26750-1. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Laurence Puel |
Proofs in the Final Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'84, 9th Colloquium on Trees in Algebra and Programming, Bordeaux, France, March 5-7, 1984, Proceedings, pp. 227-242, 1984, Cambridge University Press, 0-521-26750-1. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Kurt Mehlhorn |
On Optimal VLSI-Circuits for the Basic Arithmetic Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'84, 9th Colloquium on Trees in Algebra and Programming, Bordeaux, France, March 5-7, 1984, Proceedings, pp. 23-30, 1984, Cambridge University Press, 0-521-26750-1. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Pierre Lescanne |
Uniform Termination of Term Rewriting Systems: Recursive Decomposition Ordering with Status. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'84, 9th Colloquium on Trees in Algebra and Programming, Bordeaux, France, March 5-7, 1984, Proceedings, pp. 181-194, 1984, Cambridge University Press, 0-521-26750-1. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Michael Kaufmann 0001 |
Nearly Tight Bounds for the Longest Edge in an Tree in a VLSI Lay Out. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'84, 9th Colloquium on Trees in Algebra and Programming, Bordeaux, France, March 5-7, 1984, Proceedings, pp. 169-180, 1984, Cambridge University Press, 0-521-26750-1. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Grzegorz Rozenberg, Emo Welzl |
Boundary NLC Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'84, 9th Colloquium on Trees in Algebra and Programming, Bordeaux, France, March 5-7, 1984, Proceedings, pp. 257-270, 1984, Cambridge University Press, 0-521-26750-1. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Jean Françon, Claude Puech |
Histoires de Files de Priorite avec Fusions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'84, 9th Colloquium on Trees in Algebra and Programming, Bordeaux, France, March 5-7, 1984, Proceedings, pp. 119-138, 1984, Cambridge University Press, 0-521-26750-1. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | E. Paul |
Proofs by Inducting in Equational Theories with Relations Between Constructors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'84, 9th Colloquium on Trees in Algebra and Programming, Bordeaux, France, March 5-7, 1984, Proceedings, pp. 211-226, 1984, Cambridge University Press, 0-521-26750-1. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Joost Engelfriet, Heiko Vogler |
Regular Characterizations of Macro Tree Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'84, 9th Colloquium on Trees in Algebra and Programming, Bordeaux, France, March 5-7, 1984, Proceedings, pp. 103-118, 1984, Cambridge University Press, 0-521-26750-1. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Satoru Miyano, Takeshi Hayashi 0004 |
Alternating Finite Automata on omega-Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'84, 9th Colloquium on Trees in Algebra and Programming, Bordeaux, France, March 5-7, 1984, Proceedings, pp. 195-210, 1984, Cambridge University Press, 0-521-26750-1. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Didier Arquès, Jean Françon |
Arbres Bien Etiquetes et Fractions Multicontinues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'84, 9th Colloquium on Trees in Algebra and Programming, Bordeaux, France, March 5-7, 1984, Proceedings, pp. 51-62, 1984, Cambridge University Press, 0-521-26750-1. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Martin Gogolla |
Partially Ordered Sorts in Algebraic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'84, 9th Colloquium on Trees in Algebra and Programming, Bordeaux, France, March 5-7, 1984, Proceedings, pp. 139-154, 1984, Cambridge University Press, 0-521-26750-1. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Nachum Dershowitz, Shmuel Zaks |
Patterns in Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'84, 9th Colloquium on Trees in Algebra and Programming, Bordeaux, France, March 5-7, 1984, Proceedings, pp. 93-102, 1984, Cambridge University Press, 0-521-26750-1. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | E. Timmermann |
Yields of Infinite Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'84, 9th Colloquium on Trees in Algebra and Programming, Bordeaux, France, March 5-7, 1984, Proceedings, pp. 299-312, 1984, Cambridge University Press, 0-521-26750-1. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Mario Coppo, Mariangiola Dezani-Ciancaglini, Giuseppe Longo |
Applicative Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila, Italy, March 9-11, 1983, Proceedings, pp. 35-64, 1983, Springer, 3-540-12727-5. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Ausiello, Marco Protasi (eds.) |
CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila, Italy, March 9-11, 1983, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![Springer, 3-540-12727-5 The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Giora Slutzki |
Alternating Tree Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila, Italy, March 9-11, 1983, Proceedings, pp. 392-404, 1983, Springer, 3-540-12727-5. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Andrzej Lingas |
An Application of Maximum Bipartite C-Matching to Subtree Isomorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila, Italy, March 9-11, 1983, Proceedings, pp. 284-299, 1983, Springer, 3-540-12727-5. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Broy, Martin Wirsing |
Generalized Heterogeneous Algebras and Partial Interpretations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila, Italy, March 9-11, 1983, Proceedings, pp. 1-34, 1983, Springer, 3-540-12727-5. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Burkhard Monien, Ewald Speckenmeyer |
Some Further Approximation Algorithms for the Vertex Cover Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila, Italy, March 9-11, 1983, Proceedings, pp. 341-349, 1983, Springer, 3-540-12727-5. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Zvi Galil |
Efficient Algorithms for Finding Maximal Matching in Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila, Italy, March 9-11, 1983, Proceedings, pp. 90-113, 1983, Springer, 3-540-12727-5. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
Shmathematics, algorithmic tools, monsters, polygamy, the asexual case, the assignment problem, moonlighting, augmenting path, ET, shrink, The Main Theorem of Botany, The ACM Longest Paper Award, generalized priority queue, d-heap, warm-up, primaldual, sexual discrimination, affirmative action, joint income tax return, data structures, matching, duality, blossoms |
1 | Marisa Venturini Zilli |
Cofinality in Reduction Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila, Italy, March 9-11, 1983, Proceedings, pp. 405-416, 1983, Springer, 3-540-12727-5. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Marchetti-Spaccamela, Maurizio Talamo |
Probabilistic Analysis of Graph Colouring Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila, Italy, March 9-11, 1983, Proceedings, pp. 332-340, 1983, Springer, 3-540-12727-5. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Jan Paredaens, Dirk Van Gucht |
An Application of the Theory of Graphs and Hypergraphs to the Decomposition of Relational Database Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila, Italy, March 9-11, 1983, Proceedings, pp. 350-366, 1983, Springer, 3-540-12727-5. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Sorin Istrail, Cristian Masalagiu |
Nivat-Processing Systems: Decision Problems Related to Protection and Synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila, Italy, March 9-11, 1983, Proceedings, pp. 255-268, 1983, Springer, 3-540-12727-5. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Janssens, Grzegorz Rozenberg |
A Survey of NLC Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila, Italy, March 9-11, 1983, Proceedings, pp. 114-128, 1983, Springer, 3-540-12727-5. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Pierre Jouannaud |
Confluent and Coherent Equational Term Rewriting Systems: Application to Proofs in Abstract Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila, Italy, March 9-11, 1983, Proceedings, pp. 269-283, 1983, Springer, 3-540-12727-5. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Fillia Makedon, Christos H. Papadimitriou, Ivan Hal Sudborough |
Topological Bandwidth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila, Italy, March 9-11, 1983, Proceedings, pp. 317-331, 1983, Springer, 3-540-12727-5. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Wojciech Rytter |
Remarks on the Pyramidal Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila, Italy, March 9-11, 1983, Proceedings, pp. 367-376, 1983, Springer, 3-540-12727-5. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Courcelle, F. Lavandier |
A Class of Program Schemes Based on Tree Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila, Italy, March 9-11, 1983, Proceedings, pp. 191-204, 1983, Springer, 3-540-12727-5. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Donald Sannella, Rod M. Burstall |
Structured Theories in LCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila, Italy, March 9-11, 1983, Proceedings, pp. 377-391, 1983, Springer, 3-540-12727-5. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Ronald Fagin |
Acyclic Database Schemes (of Various Degrees): A Painless Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila, Italy, March 9-11, 1983, Proceedings, pp. 65-89, 1983, Springer, 3-540-12727-5. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
Additional Key Words and Phrases acyclic, database scheme, relational database, hypergraph |
1 | Maurizio A. Bonuccelli, Elena Lodi, Fabrizio Luccio, Piero Maestrini, Linda Pagli |
VLSI Mesh of Trees for Data Base Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila, Italy, March 9-11, 1983, Proceedings, pp. 155-166, 1983, Springer, 3-540-12727-5. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Eike Best, M. W. Shields |
Some Equivalence Results for Free Choice Nets and Simple Nets and on the Periodicity of Live Free Choice Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila, Italy, March 9-11, 1983, Proceedings, pp. 141-154, 1983, Springer, 3-540-12727-5. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Jacob Gonczaroski |
Decidable Properties of Monadic Recursive Schemas with a Depth Parameter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila, Italy, March 9-11, 1983, Proceedings, pp. 236-254, 1983, Springer, 3-540-12727-5. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Mario Coppo, Elio Giovannetti |
Completeness Results for a Polymorphic Type System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila, Italy, March 9-11, 1983, Proceedings, pp. 179-190, 1983, Springer, 3-540-12727-5. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Flajolet, Nasser Saheb |
Digital Search Trees and the Generation of an Exponentially Distributed Variate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila, Italy, March 9-11, 1983, Proceedings, pp. 221-235, 1983, Springer, 3-540-12727-5. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | M. F. Claerebout, Eric Lilin |
Continuite des transducteurs d'états finis d'arbes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila, Italy, March 9-11, 1983, Proceedings, pp. 167-178, 1983, Springer, 3-540-12727-5. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Joffroy Beauquier |
Prefix and Perfect Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila, Italy, March 9-11, 1983, Proceedings, pp. 129-140, 1983, Springer, 3-540-12727-5. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Mahr, Johann A. Makowsky |
Characterizing Specification Languages Which Admit Initial Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila, Italy, March 9-11, 1983, Proceedings, pp. 300-316, 1983, Springer, 3-540-12727-5. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | François Fages, Gérard P. Huet |
Complete Sets of Unifiers and Matchers in Equational Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila, Italy, March 9-11, 1983, Proceedings, pp. 205-220, 1983, Springer, 3-540-12727-5. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Jürg Nievergelt |
Trees as Data and File Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '81, Trees in Algebra and Programming, 6th Colloquium, Genoa, Italy, March 5-7, 1981, Proceedings, pp. 35-45, 1981, Springer, 3-540-10828-9. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Irène Guessarian |
On Pushdown Tree Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '81, Trees in Algebra and Programming, 6th Colloquium, Genoa, Italy, March 5-7, 1981, Proceedings, pp. 211-223, 1981, Springer, 3-540-10828-9. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Gérard Boudol |
Une Semantique Pour Les Arbres Non Deterministes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '81, Trees in Algebra and Programming, 6th Colloquium, Genoa, Italy, March 5-7, 1981, Proceedings, pp. 147-161, 1981, Springer, 3-540-10828-9. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi |
Trees in Kripke Models and in an Intuitionistic Refutation System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '81, Trees in Algebra and Programming, 6th Colloquium, Genoa, Italy, March 5-7, 1981, Proceedings, pp. 316-331, 1981, Springer, 3-540-10828-9. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Günter Hornung, Peter Raulefs |
Initial and Terminal Algebra Semantics of Parameterized Abstract Data Type Specifications With Inequalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '81, Trees in Algebra and Programming, 6th Colloquium, Genoa, Italy, March 5-7, 1981, Proceedings, pp. 224-237, 1981, Springer, 3-540-10828-9. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Robin Milner |
A Modal Characterisation of Observable Machine-Behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '81, Trees in Algebra and Programming, 6th Colloquium, Genoa, Italy, March 5-7, 1981, Proceedings, pp. 25-34, 1981, Springer, 3-540-10828-9. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | N. Polian |
Differents Types de Derivations Infinites Dans les Grammaires Algebriques d'Arbres. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '81, Trees in Algebra and Programming, 6th Colloquium, Genoa, Italy, March 5-7, 1981, Proceedings, pp. 340-349, 1981, Springer, 3-540-10828-9. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Egidio Astesiano, Corrado Böhm (eds.) |
CAAP '81, Trees in Algebra and Programming, 6th Colloquium, Genoa, Italy, March 5-7, 1981, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![Springer, 3-540-10828-9 The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Marek J. Lao |
A Class of Tree-Like UNION-FIND Data Structures and the Nonlinearity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '81, Trees in Algebra and Programming, 6th Colloquium, Genoa, Italy, March 5-7, 1981, Proceedings, pp. 255-267, 1981, Springer, 3-540-10828-9. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
computational complexity, data structures, trees, UNION-FIND, set union |
1 | J. Bilstein, Werner Damm |
Top-Down Tree-Transducers for Infinite Trees I. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '81, Trees in Algebra and Programming, 6th Colloquium, Genoa, Italy, March 5-7, 1981, Proceedings, pp. 117-134, 1981, Springer, 3-540-10828-9. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Andrzej Lingas |
Certain Algorithms for Subgraph Isomorphism Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '81, Trees in Algebra and Programming, 6th Colloquium, Genoa, Italy, March 5-7, 1981, Proceedings, pp. 290-307, 1981, Springer, 3-540-10828-9. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Maurice Nivat |
Infinitary Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '81, Trees in Algebra and Programming, 6th Colloquium, Genoa, Italy, March 5-7, 1981, Proceedings, pp. 46-75, 1981, Springer, 3-540-10828-9. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Ausiello, Alberto Marchetti-Spaccamela, Marco Protasi |
Full Approximatibility of a Class of Problems over Power Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '81, Trees in Algebra and Programming, 6th Colloquium, Genoa, Italy, March 5-7, 1981, Proceedings, pp. 76-87, 1981, Springer, 3-540-10828-9. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Eric Lilin |
Proprietes de Cloture d'une Extension de Transducteurs d'Arbres Deterministes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '81, Trees in Algebra and Programming, 6th Colloquium, Genoa, Italy, March 5-7, 1981, Proceedings, pp. 280-289, 1981, Springer, 3-540-10828-9. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Giancarlo Mauri, Nicoletta Sabadini |
A # P-Complete Problem over Arithmetical Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '81, Trees in Algebra and Programming, 6th Colloquium, Genoa, Italy, March 5-7, 1981, Proceedings, pp. 308-315, 1981, Springer, 3-540-10828-9. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Hartmut Ehrig |
Algebraic Theory of Parameterized Specifications with Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '81, Trees in Algebra and Programming, 6th Colloquium, Genoa, Italy, March 5-7, 1981, Proceedings, pp. 1-24, 1981, Springer, 3-540-10828-9. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Broy, Martin Wirsing |
On the Algebraic Specification of Nondeterministic Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '81, Trees in Algebra and Programming, 6th Colloquium, Genoa, Italy, March 5-7, 1981, Proceedings, pp. 162-179, 1981, Springer, 3-540-10828-9. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Bernard Leguy |
Grammars Without Erasing Rules - The OI Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '81, Trees in Algebra and Programming, 6th Colloquium, Genoa, Italy, March 5-7, 1981, Proceedings, pp. 268-279, 1981, Springer, 3-540-10828-9. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Gérard Jacob |
Calcul du Rang des sum-Arbres Infinis Reguliers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '81, Trees in Algebra and Programming, 6th Colloquium, Genoa, Italy, March 5-7, 1981, Proceedings, pp. 238-254, 1981, Springer, 3-540-10828-9. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|