English
Trees in Algebra and Programming — CAAP '96
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 24 Semantics of interaction
-
Altmetric BadgeChapter 25 The Kronecker product and local computations in graphs
-
Altmetric BadgeChapter 26 Iterative pairs and multitape automata
-
Altmetric BadgeChapter 27 Diophantine equations, Presburger arithmetic and finite automata
-
Altmetric BadgeChapter 28 A pumping lemma for output languages of macro tree transducers
-
Altmetric BadgeChapter 29 The area determined by underdiagonal lattice paths
-
Altmetric BadgeChapter 30 Extraction of concurrent processes from higher dimensional automata
-
Altmetric BadgeChapter 31 Axiomatising extended computation tree logic
-
Altmetric BadgeChapter 32 Final semantics for a higher order concurrent language
-
Altmetric BadgeChapter 33 The practice of logical frameworks
-
Altmetric BadgeChapter 34 Subsumption algorithms based on search trees
-
Altmetric BadgeChapter 35 Interaction nets and term rewriting systems (extended abstract)
-
Altmetric BadgeChapter 36 Computing in unpredictable environments: Semantics, reduction strategies, and program transformations
-
Altmetric BadgeChapter 37 Relative normalization in Deterministic Residual Structures
-
Altmetric BadgeChapter 38 Termination by absence of infinite chains of dependency pairs
-
Altmetric BadgeChapter 39 Confluence without termination via parallel critical pairs
-
Altmetric BadgeChapter 40 An ordinal calculus for proving termination in term rewriting
-
Altmetric BadgeChapter 41 Behavioural satisfaction and equivalence in concrete model categories
-
Altmetric BadgeChapter 42 Open maps, behavioural equivalences, and congruences
-
Altmetric BadgeChapter 43 Denotational, causal, and operational determinism in event structures
-
Altmetric BadgeChapter 44 Effective longest and infinite reduction paths in untyped λ-calculi
-
Altmetric BadgeChapter 45 Full abstraction for lambda calculus with resources and convergence testing
-
Altmetric BadgeChapter 46 Untyped lambda-calculus with input-output
Altmetric Badge
Citations
- dimensions_citation
- 1 Dimensions