Abstract is missing.
- Semantics of Interaction (Abstract)Samson Abramsky. 1
- The Kronecker Product and Local Computations in GraphsAnne Bottreau, Yves Métivier. 2-16
- Iterative Pairs and Multitape AutomataMarina Madonia, Stefano Varricchio. 17-29
- Diophantine Equations, Presburger Arithmetic and Finite AutomataAlexandre Boudet, Hubert Comon. 30-43
- A Pumping Lemma for Output Languages of Macro Tree TransducersArmin Kühnemann. 44-58
- The Area Determined by Underdiagonal Lattice PathsDonatella Merlini, Renzo Sprugnoli, M. Cecilia Verri. 59-71
- Extraction of Concurrent Processes from Higher Dimensional AutomataYukihide Takayama. 72-86
- Axiomatising Extended Computation Tree LogicRoope Kaivola. 87-101
- Final Semantics for a Higher Order Concurrent LanguageMarina Lenisa. 102-118
- The Practice of Logical FrameworksFrank Pfenning. 119-134
- Subsumption Algorithms Based on Search TreesLeo Bachmair, Ta Chen, C. R. Ramakrishnan, I. V. Ramakrishnan. 135-148
- Interaction Nets and Term Rewriting Systems (Extended Abstract)Maribel Fernández, Ian Mackie. 149-164
- Computing in Unpredictable Environments: Semantics, Reduction Strategies, and Program TransformationsBjörn Lisper. 165-179
- Relative Normalization in Deterministic Residual StructuresJohn R. W. Glauert, Zurab Khasidashvili. 180-195
- Termination by Absence of Infinite Chains of Dependency PairsThomas Arts. 196-210
- Confluence without Termination via Parallel Critical PairsBernhard Gramlich. 211-225
- An Ordinal Calculus for Proving Termination in Term RewritingE. A. Cichon, Hélène Touzet. 226-240
- Behavioural Satisfaction and Equivalence in Concrete Model CategoriesMichel Bidoit, Andrzej Tarlecki. 241-256
- Open Maps, Behavioural Equivalences, and CongruencesAllan Cheng, Mogens Nielsen. 257-271
- Denotational, Causal, and Operational Determinism in Event StructuresArend Rensink. 272-286
- Efficient Longest and Infinite Reduction Paths in Untyped Lambda-CalculiMorten Heine Sørensen. 287-301
- Full Abstraction for Lambda Calculus with Resources and Convergence TestingGérard Boudol, Carolina Lavatelli. 302-316
- Untyped Lambda-Calculus with Input-OutputJerzy Tiuryn, Mitchell Wand. 317-329