CAAP

Keyphrases

Publications

1996

Donatella Merlini, Renzo Sprugnoli, M. Cecilia Verri
The Area Determined by Underdiagonal Lattice Paths. CAAP (1996)
Samson Abramsky
Semantics of Interaction (Abstract). CAAP (1996)
Alexandre Boudet, Hubert Comon
Diophantine Equations, Presburger Arithmetic and Finite Automata. CAAP (1996)
Thomas Arts
Termination by Absence of Infinite Chains of Dependency Pairs. CAAP (1996)
Maribel Fernández, Ian Mackie
Interaction Nets and Term Rewriting Systems (Extended Abstract). CAAP (1996)
Allan Cheng, Mogens Nielsen
Open Maps, Behavioural Equivalences, and Congruences. CAAP (1996)
Bernhard Gramlich
Confluence without Termination via Parallel Critical Pairs. CAAP (1996)
Morten Heine Sørensen
Efficient Longest and Infinite Reduction Paths in Untyped Lambda-Calculi. CAAP (1996)
Marina Madonia, Stefano Varricchio
Iterative Pairs and Multitape Automata. CAAP (1996)
Roope Kaivola
Axiomatising Extended Computation Tree Logic. CAAP (1996)
Frank Pfenning
The Practice of Logical Frameworks. CAAP (1996)
Armin Kühnemann
A Pumping Lemma for Output Languages of Macro Tree Transducers. CAAP (1996)
Arend Rensink
Denotational, Causal, and Operational Determinism in Event Structures. CAAP (1996)
E. A. Cichon, Hélène Touzet
An Ordinal Calculus for Proving Termination in Term Rewriting. CAAP (1996)
Anne Bottreau, Yves Métivier
The Kronecker Product and Local Computations in Graphs. CAAP (1996)
Yukihide Takayama
Extraction of Concurrent Processes from Higher Dimensional Automata. CAAP (1996)
Gérard Boudol, Carolina Lavatelli
Full Abstraction for Lambda Calculus with Resources and Convergence Testing. CAAP (1996)
Michel Bidoit, Andrzej Tarlecki
Behavioural Satisfaction and Equivalence in Concrete Model Categories. CAAP (1996)
Marina Lenisa
Final Semantics for a Higher Order Concurrent Language. CAAP (1996)
John R. W. Glauert, Zurab Khasidashvili
Relative Normalization in Deterministic Residual Structures. CAAP (1996)
Jerzy Tiuryn, Mitchell Wand
Untyped Lambda-Calculus with Input-Output. CAAP (1996)
Leo Bachmair, Ta Chen, C. R. Ramakrishnan, I. V. Ramakrishnan
Subsumption Algorithms Based on Search Trees. CAAP (1996)
Björn Lisper
Computing in Unpredictable Environments: Semantics, Reduction Strategies, and Program Transformations. CAAP (1996)

volume 1059, 1996

Trees in Algebra and Programming - CAAP'96, 21st International Colloquium, Linköping, Sweden, April, 22-24, 1996, Proceedings CAAP 1059 (1996)

1994

volume 787, 1994

Trees in Algebra and Programming - CAAP'94, 19th International Colloquium, Edinburgh, UK, April 11-13, 1994, Proceedings CAAP 787 (1994)

1992

Mads Dam
CTL* and ECTL* as Fragments of the Modal µ-Calculus. CAAP (1992)

volume 581, 1992

CAAP '92, 17th Colloquium on Trees in Algebra and Programming, Rennes, France, February 26-28, 1992, Proceedings CAAP 581 (1992)