
Conferences in DBLP
 Jochen Burghardt
A Tree Pattern Matching Algorithm with Reasonable Space Requirements. [Citation Graph (0, 0)][DBLP] CAAP, 1988, pp:115 [Conf]
 Rolf Klein, Derick Wood
On the Maximum Path Length of AVL Trees. [Citation Graph (0, 0)][DBLP] CAAP, 1988, pp:1627 [Conf]
 Clemens Lautemann
Decomposition Trees: Structured Graph Representation and Efficient Algorithms. [Citation Graph (0, 0)][DBLP] CAAP, 1988, pp:2839 [Conf]
 Johannes Köbler, Uwe Schöning, Jacobo Torán
On Counting and Approximation. [Citation Graph (0, 0)][DBLP] CAAP, 1988, pp:4051 [Conf]
 Helmut Seidl
ParameterReduction of Higher Level Grammars (Extended Abstract). [Citation Graph (0, 0)][DBLP] CAAP, 1988, pp:5271 [Conf]
 Jean Françon, B. Randrianarimanana, René Schott
Analysis of Dynamic Algorithms in D. E. Knuth's Model. [Citation Graph (0, 0)][DBLP] CAAP, 1988, pp:7288 [Conf]
 Rachid Echahed
On Comleteness of Narrowing Strategies. [Citation Graph (0, 0)][DBLP] CAAP, 1988, pp:89101 [Conf]
 Richard Kennaway
Implementing Term Rewritin Languages in Dactl. [Citation Graph (0, 0)][DBLP] CAAP, 1988, pp:102116 [Conf]
 Tobias Nipkow
Unification in Primal Algebras. [Citation Graph (0, 0)][DBLP] CAAP, 1988, pp:117131 [Conf]
 Bernhard Möller, Andrzej Tarlecki, Martin Wirsing
Algebraic Specification with Builtin Domain Constructions. [Citation Graph (0, 0)][DBLP] CAAP, 1988, pp:132148 [Conf]
 Francesco ParisiPresicce
Product and Iteration of Module Specifications. [Citation Graph (0, 0)][DBLP] CAAP, 1988, pp:149164 [Conf]
 Isabelle Gnaedig, Claude Kirchner, Hélène Kirchner
Equational Completion in OrderSorted Algebras (Extended Abstract). [Citation Graph (0, 0)][DBLP] CAAP, 1988, pp:165184 [Conf]
 E. Pascal Gribomont
Proving Systolic Arrays. [Citation Graph (0, 0)][DBLP] CAAP, 1988, pp:185199 [Conf]
 Jennifer Widom, Prakash Panagaden
Expressiveness Bounds for Completness in TraceBased Network Proof Systems. [Citation Graph (0, 0)][DBLP] CAAP, 1988, pp:200214 [Conf]
 Kim Guldstrand Larsen
Proof System for HennessyMilner Logic with Recursion. [Citation Graph (0, 0)][DBLP] CAAP, 1988, pp:215230 [Conf]
 Z. Habasinski
Regular Automata and Model Checking. [Citation Graph (0, 0)][DBLP] CAAP, 1988, pp:231243 [Conf]
 Max Michel, JeanBernard Stefani
Interval Logics and Sequential Transducers. [Citation Graph (0, 0)][DBLP] CAAP, 1988, pp:244257 [Conf]
 Roberto Gorrieri, Sergio Marchetti, Ugo Montanari
A²CCS: A Simple Extension of CCS for Handling Atomic Actions. [Citation Graph (0, 0)][DBLP] CAAP, 1988, pp:258270 [Conf]
 Cornelis Huizing, Rob Gerth, Willem P. de Roever
Modeling Statecharts Behaviour in a Fully Abstract Way. [Citation Graph (1, 0)][DBLP] CAAP, 1988, pp:271294 [Conf]
 Giorgio Ausiello
Directed Hypergraphs: Data Structures and Applications. [Citation Graph (0, 0)][DBLP] CAAP, 1988, pp:295303 [Conf]
