Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13. CAAP 1988: Nancy, France
- Max Dauchet, Maurice Nivat:
CAAP '88, 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988, Proceedings. Lecture Notes in Computer Science 299, Springer 1988, ISBN 3-540-19021-X
Tree Algorithms
- Jochen Burghardt:
A Tree Pattern Matching Algorithm with Reasonable Space Requirements. 1-15 - Rolf Klein, Derick Wood:
On the Maximum Path Length of AVL Trees. 16-27 - Clemens Lautemann:
Decomposition Trees: Structured Graph Representation and Efficient Algorithms. 28-39
Complexity
- Johannes Köbler, Uwe Schöning, Jacobo Torán:
On Counting and Approximation. 40-51 - Helmut Seidl:
Parameter-Reduction of Higher Level Grammars (Extended Abstract). 52-71 - Jean Françon, B. Randrianarimanana, René Schott:
Analysis of Dynamic Algorithms in D. E. Knuth's Model. 72-88
Rewriting
- Rachid Echahed:
On Comleteness of Narrowing Strategies. 89-101 - Richard Kennaway:
Implementing Term Rewritin Languages in Dactl. 102-116 - Tobias Nipkow
:
Unification in Primal Algebras. 117-131
Algebraic Specifications
- Bernhard Möller, Andrzej Tarlecki, Martin Wirsing:
Algebraic Specification with Built-in Domain Constructions. 132-148 - Francesco Parisi-Presicce:
Product and Iteration of Module Specifications. 149-164 - Isabelle Gnaedig, Claude Kirchner, Hélène Kirchner:
Equational Completion in Order-Sorted Algebras (Extended Abstract). 165-184
Parallelism and Concurrency
- E. Pascal Gribomont:
Proving Systolic Arrays. 185-199 - Jennifer Widom, Prakash Panangaden:
Expressiveness Bounds for Completness in Trace-Based Network Proof Systems. 200-214 - Kim Guldstrand Larsen:
Proof System for Hennessy-Milner Logic with Recursion. 215-230 - Zdzislaw Habasinski:
Regular Automata and Model Checking. 231-243 - Max Michel, Jean-Bernard Stefani:
Interval Logics and Sequential Transducers. 244-257 - Roberto Gorrieri, Sergio Marchetti, Ugo Montanari:
A²CCS: A Simple Extension of CCS for Handling Atomic Actions. 258-270 - Cornelis Huizing, Rob Gerth, Willem P. de Roever:
Modeling Statecharts Behaviour in a Fully Abstract Way. 271-294
Invited Lectures
- Giorgio Ausiello:
Directed Hypergraphs: Data Structures and Applications. 295-303
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-15 20:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
