21. CAAP 1996: Linköping, Sweden
Hélène Kirchner (Ed.): Trees in Algebra and Programming - CAAP'96, 21st International Colloquium, Linköping, Sweden, April, 22-24, 1996, Proceedings. Springer 1996 Lecture Notes in Computer Science ISBN 3-540-61064-2- Samson Abramsky: Semantics of Interaction (Abstract). 1
- Alexandre Boudet, Hubert Comon: Diophantine Equations, Presburger Arithmetic and Finite Automata. 30-43
- Armin Kühnemann: A Pumping Lemma for Output Languages of Macro Tree Transducers. 44-58
- Donatella Merlini, Renzo Sprugnoli, M. Cecilia Verri: The Area Determined by Underdiagonal Lattice Paths. 59-71
- Yukihide Takayama: Extraction of Concurrent Processes from Higher Dimensional Automata. 72-86
- Roope Kaivola: Axiomatising Extended Computation Tree Logic. 87-101
- Marina Lenisa: Final Semantics for a Higher Order Concurrent Language. 102-118
- Frank Pfenning: The Practice of Logical Frameworks. 119-134
- Leo Bachmair, Ta Chen, C. R. Ramakrishnan, I. V. Ramakrishnan: Subsumption Algorithms Based on Search Trees. 135-148
- Maribel Fernández, Ian Mackie: Interaction Nets and Term Rewriting Systems (Extended Abstract). 149-164
- Björn Lisper: Computing in Unpredictable Environments: Semantics, Reduction Strategies, and Program Transformations. 165-179
- John R. W. Glauert, Zurab Khasidashvili: Relative Normalization in Deterministic Residual Structures. 180-195
- Thomas Arts: Termination by Absence of Infinite Chains of Dependency Pairs. 196-210
- Bernhard Gramlich: Confluence without Termination via Parallel Critical Pairs. 211-225
- Michel Bidoit, Andrzej Tarlecki: Behavioural Satisfaction and Equivalence in Concrete Model Categories. 241-256
- Arend Rensink: Denotational, Causal, and Operational Determinism in Event Structures. 272-286
- Morten Heine Sørensen: Efficient Longest and Infinite Reduction Paths in Untyped Lambda-Calculi. 287-301
- Gérard Boudol, Carolina Lavatelli: Full Abstraction for Lambda Calculus with Resources and Convergence Testing. 302-316
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T201401 by the dblp team