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
