
Conferences in DBLP
 Eric G. Wagner
A Categorical Treatment of Pre and Post Conditions. [Citation Graph (0, 0)][DBLP] CAAP, 1986, pp:15 [Conf]
 Robert Cori, Serge Dulucq
Colourings of Planar Maps and the Equality of Two Languages. [Citation Graph (0, 0)][DBLP] CAAP, 1986, pp:616 [Conf]
 Joffroy Beauquier, Béatrice Bérard
On the Equivalence of Synchronization Sets. [Citation Graph (0, 0)][DBLP] CAAP, 1986, pp:1729 [Conf]
 Francesco ParisiPresicce
Inner and Mutual Compatibility of Basic Operations on Module Specifications. [Citation Graph (0, 0)][DBLP] CAAP, 1986, pp:3044 [Conf]
 Alex Pelin, Jean H. Gallier
Exact Computation Sequences. [Citation Graph (0, 0)][DBLP] CAAP, 1986, pp:4559 [Conf]
 Gheorghe Stefanescu
An Algebraic Theory of Flowchart Schemes. [Citation Graph (0, 0)][DBLP] CAAP, 1986, pp:6073 [Conf]
 Michel Bauderon, Bruno Courcelle
An Algebraic Formalism for Graphs. [Citation Graph (0, 0)][DBLP] CAAP, 1986, pp:7484 [Conf]
 Elias Dahlhaus, Manfred K. Warmuth
Membership for Growing Context Sensitive Grammars is Polynomial. [Citation Graph (0, 0)][DBLP] CAAP, 1986, pp:8599 [Conf]
 Philippe Devienne, Patrick Lebègue
Weighted Graphs: A Tool for Logic Programming. [Citation Graph (0, 0)][DBLP] CAAP, 1986, pp:100111 [Conf]
 Gilberto Filé
Classical and Incremental Evaluators for Attribute Grammars. [Citation Graph (0, 0)][DBLP] CAAP, 1986, pp:112126 [Conf]
 Alberto Pettorossi
Transformation Strategies for Deriving On Line Programs. [Citation Graph (0, 0)][DBLP] CAAP, 1986, pp:127141 [Conf]
 David de FrutosEscrig
Probabilistic Ianov's Schemes. [Citation Graph (0, 0)][DBLP] CAAP, 1986, pp:142157 [Conf]
 Kai Salomaa
Alternating BottomUp Tree Recognisers. [Citation Graph (0, 0)][DBLP] CAAP, 1986, pp:158171 [Conf]
 Rafael Casas, JeanMarc Steyaert
BottomUp Recursion in Trees. [Citation Graph (0, 0)][DBLP] CAAP, 1986, pp:172182 [Conf]
 Heiko Vogler
Basic Tree Transducers. [Citation Graph (0, 0)][DBLP] CAAP, 1986, pp:183195 [Conf]
 Philippe Jacquet, Mireille Régnier
Trie Partitioning Process: Limiting Distributions. [Citation Graph (1, 0)][DBLP] CAAP, 1986, pp:196210 [Conf]
 Guy Louchard
Random Walks, Gaussian Processes, and List Structures. [Citation Graph (0, 0)][DBLP] CAAP, 1986, pp:211224 [Conf]
 René Schott
Random Walks on Trees. [Citation Graph (0, 0)][DBLP] CAAP, 1986, pp:225237 [Conf]
 Ran Rinat, Nissim Francez, Orna Grumberg
Infinite Trees, Markings and Well Foundedness. [Citation Graph (0, 0)][DBLP] CAAP, 1986, pp:238253 [Conf]
 Elias Dahlhaus, Johann A. Makowsky
Computable Directory Queries. [Citation Graph (3, 0)][DBLP] CAAP, 1986, pp:254265 [Conf]
 Andrea Asperti, Giuseppe Longo
Relating TypeStructures: Partial Variations on a Theme of Friedman and Statman. [Citation Graph (0, 0)][DBLP] CAAP, 1986, pp:266287 [Conf]
 Grazyna Mirkowska, Andrzej Salwicki
On Applications of Algorithmic Logic. [Citation Graph (0, 0)][DBLP] CAAP, 1986, pp:288306 [Conf]
