Abstract is missing.
- The Spectra of WordsRobin Milner. 1-5 [doi]
- On the Undecidability of Coherent LogicMarc Bezem. 6-13 [doi]
- Löb s Logic Meets the µ-CalculusAlbert Visser. 14-25 [doi]
- A Characterisation of Weak Bisimulation CongruenceRob J. van Glabbeek. 26-39 [doi]
- Böhm s Theorem, Church s Delta, Numeral Systems, and Ershov MorphismsRichard Statman, Henk Barendregt. 40-54 [doi]
- Explaining Constraint ProgrammingKrzysztof R. Apt. 55-69 [doi]
- Sharing in the Weak Lambda-CalculusTomasz Blanc, Jean-Jacques Lévy, Luc Maranget. 70-87 [doi]
- Term Rewriting Meets Aspect-Oriented ProgrammingPaul Klint, Tijs van der Storm, Jurgen J. Vinju. 88-105 [doi]
- Observing Reductions in Nominal Calculi ::::Via:::: a Graphical Encoding of ProcessesFabio Gadducci, Ugo Montanari. 106-126 [doi]
- Primitive RewritingNachum Dershowitz. 127-147 [doi]
- Infinitary Rewriting: From Syntax to SemanticsRichard Kennaway, Paula Severi, M. Ronan Sleep, Fer-Jan de Vries. 148-172 [doi]
- Reducing Right-Hand Sides for TerminationHans Zantema. 173-197 [doi]
- Reduction Strategies for Left-Linear Term Rewriting SystemsYoshihito Toyama. 198-223 [doi]
- Higher-Order Rewriting: Framework, Confluence and TerminationJean-Pierre Jouannaud. 224-250 [doi]
- Timing the Untimed: Terminating Successfully While Being ConservativeJos C. M. Baeten, Mohammad Reza Mousavi, Michel A. Reniers. 251-279 [doi]
- Confluence of Graph Transformation RevisitedDetlef Plump. 280-308 [doi]
- Compositional Reasoning for Probabilistic Finite-State BehaviorsYuxin Deng, Catuscia Palamidessi, Jun Pang. 309-337 [doi]
- Finite Equational Bases in Process Algebra: Results and Open QuestionsLuca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik. 338-367 [doi]
- Skew and ::::omega::::-Skew Confluence and Abstract Böhm SemanticsZena M. Ariola, Stefan Blom. 368-403 [doi]
- A Mobility Calculus with Local and Dependent TypesMario Coppo, Federico Cozzi, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese. 404-444 [doi]
- Model Theory for Process AlgebraJan A. Bergstra, C. A. Middelburg. 445-495 [doi]
- Expression Reduction Systems and Extensions: An OverviewJohn J. Glauert, Delia Kesner, Zurab Khasidashvili. 496-553 [doi]
- Axiomatic Rewriting Theory I: A Diagrammatic Standardization TheoremPaul-André Melliès. 554-638 [doi]