60. Birthday:
Jan Willem Klop, 2005
Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel C. de Vrijer (Eds.):
Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday.
Lecture Notes in Computer Science 3838 Springer 2005, ISBN 3-540-30911-X
- Robin Milner:
The Spectra of Words.
1-5

- Marc Bezem:
On the Undecidability of Coherent Logic.
6-13

- Albert Visser:
Löb's Logic Meets the µ-Calculus.
14-25

- Rob J. van Glabbeek:
A Characterisation of Weak Bisimulation Congruence.
26-39

- Richard Statman, Henk Barendregt:
Böhm's Theorem, Church's Delta, Numeral Systems, and Ershov Morphisms.
40-54

- Krzysztof R. Apt:
Explaining Constraint Programming.
55-69

- Tomasz Blanc, Jean-Jacques Lévy, Luc Maranget:
Sharing in the Weak Lambda-Calculus.
70-87

- Paul Klint, Tijs van der Storm, Jurgen J. Vinju:
Term Rewriting Meets Aspect-Oriented Programming.
88-105

- Fabio Gadducci, Ugo Montanari:
Observing Reductions in Nominal Calculi Via a Graphical Encoding of Processes.
106-126

- Nachum Dershowitz:
Primitive Rewriting.
127-147

- Richard Kennaway, Paula Severi, M. Ronan Sleep, Fer-Jan de Vries:
Infinitary Rewriting: From Syntax to Semantics.
148-172

- Hans Zantema:
Reducing Right-Hand Sides for Termination.
173-197

- Yoshihito Toyama:
Reduction Strategies for Left-Linear Term Rewriting Systems.
198-223

- Jean-Pierre Jouannaud:
Higher-Order Rewriting: Framework, Confluence and Termination.
224-250

- Jos C. M. Baeten, Mohammad Reza Mousavi, Michel A. Reniers:
Timing the Untimed: Terminating Successfully While Being Conservative.
251-279

- Detlef Plump:
Confluence of Graph Transformation Revisited.
280-308

- Yuxin Deng, Catuscia Palamidessi, Jun Pang:
Compositional Reasoning for Probabilistic Finite-State Behaviors.
309-337

- Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik:
Finite Equational Bases in Process Algebra: Results and Open Questions.
338-367

- Zena M. Ariola, Stefan Blom:
Skew and omega-Skew Confluence and Abstract Böhm Semantics.
368-403

- Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese:
A Mobility Calculus with Local and Dependent Types.
404-444

- Jan A. Bergstra, C. A. Middelburg:
Model Theory for Process Algebra.
445-495

- John R. W. Glauert, Delia Kesner, Zurab Khasidashvili:
Expression Reduction Systems and Extensions: An Overview.
496-553

- Paul-André Melliès:
Axiomatic Rewriting Theory I: A Diagrammatic Standardization Theorem.
554-638

Last update Sat May 18 18:10:33 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page