11. CAAP 1986: Nice, France

Language Theory

• Eric G. Wagner:
  A Categorical Treatment of Pre- and Post Conditions. 1-5
  
• Robert Cori, Serge Dulucq:
  Colourings of Planar Maps and the Equality of Two Languages. 6-16
  
• Joffroy Beauquier, Béatrice Bérard:
  On the Equivalence of Synchronization Sets. 17-29
  

Algebraic Theory of Semantics

• Francesco Parisi-Presicce:
  Inner and Mutual Compatibility of Basic Operations on Module Specifications. 30-44
  
• Alex Pelin, Jean H. Gallier:
  Exact Computation Sequences. 45-59
  
• Gheorghe Stefanescu:
  An Algebraic Theory of Flowchart Schemes. 60-73
  

Graphs and Grammars

• Michel Bauderon, Bruno Courcelle:
  An Algebraic Formalism for Graphs. 74-84
  
• Elias Dahlhaus, Manfred K. Warmuth:
  Membership for Growing Context Sensitive Grammars is Polynomial. 85-99
  
• Philippe Devienne, Patrick Lebègue:
  Weighted Graphs: A Tool for Logic Programming. 100-111
  

Program Schemes and Programming

• Gilberto Filé:
  Classical and Incremental Evaluators for Attribute Grammars. 112-126
  
• Alberto Pettorossi:
  Transformation Strategies for Deriving On Line Programs. 127-141
  
• David de Frutos-Escrig:
  Probabilistic Ianov's Schemes. 142-157
  

Tree-Automata and Transducers

• Kai Salomaa:
  Alternating Bottom-Up Tree Recognisers. 158-171
  
• Rafael Casas, Jean-Marc Steyaert:
  Bottom-Up Recursion in Trees. 172-182
  
• Heiko Vogler:
  Basic Tree Transducers. 183-195
  

Probability on Trees

• Philippe Jacquet, Mireille Régnier:
  Trie Partitioning Process: Limiting Distributions. 196-210
  
• Guy Louchard:
  Random Walks, Gaussian Processes, and List Structures. 211-224
  
• René Schott:
  Random Walks on Trees. 225-237
  

Logic for Computing

• Ran Rinat, Nissim Francez, Orna Grumberg:
  Infinite Trees, Markings and Well Foundedness. 238-253
  
• Elias Dahlhaus, Johann A. Makowsky:
  Computable Directory Queries. 254-265
  
• Andrea Asperti, Giuseppe Longo:
  Relating Type-Structures: Partial Variations on a Theme of Friedman and Statman. 266-287
  
• Grazyna Mirkowska, Andrzej Salwicki:
  On Applications of Algorithmic Logic. 288-306