11. CAAP 1986: Nice, France

Language Theory

Algebraic Theory of Semantics

Graphs and Grammars

Program Schemes and Programming

Tree-Automata and Transducers

Probability on Trees

Logic for Computing

a service of Schloss Dagstuhl - Leibniz Center for Informatics