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 BibTeX
- Robin Milner:
The Spectra of Words.
1-5
Electronic Edition (link) BibTeX
- Marc Bezem:
On the Undecidability of Coherent Logic.
6-13
Electronic Edition (link) BibTeX
- Albert Visser:
Löb's Logic Meets the µ-Calculus.
14-25
Electronic Edition (link) BibTeX
- Rob J. van Glabbeek:
A Characterisation of Weak Bisimulation Congruence.
26-39
Electronic Edition (link) BibTeX
- Richard Statman, Henk Barendregt:
Böhm's Theorem, Church's Delta, Numeral Systems, and Ershov Morphisms.
40-54
Electronic Edition (link) BibTeX
- Krzysztof R. Apt:
Explaining Constraint Programming.
55-69
Electronic Edition (link) BibTeX
- Tomasz Blanc, Jean-Jacques Lévy, Luc Maranget:
Sharing in the Weak Lambda-Calculus.
70-87
Electronic Edition (link) BibTeX
- Paul Klint, Tijs van der Storm, Jurgen J. Vinju:
Term Rewriting Meets Aspect-Oriented Programming.
88-105
Electronic Edition (link) BibTeX
- Fabio Gadducci, Ugo Montanari:
Observing Reductions in Nominal Calculi Via a Graphical Encoding of Processes.
106-126
Electronic Edition (link) BibTeX
- Nachum Dershowitz:
Primitive Rewriting.
127-147
Electronic Edition (link) BibTeX
- Richard Kennaway, Paula Severi, M. Ronan Sleep, Fer-Jan de Vries:
Infinitary Rewriting: From Syntax to Semantics.
148-172
Electronic Edition (link) BibTeX
- Hans Zantema:
Reducing Right-Hand Sides for Termination.
173-197
Electronic Edition (link) BibTeX
- Yoshihito Toyama:
Reduction Strategies for Left-Linear Term Rewriting Systems.
198-223
Electronic Edition (link) BibTeX
- Jean-Pierre Jouannaud:
Higher-Order Rewriting: Framework, Confluence and Termination.
224-250
Electronic Edition (link) BibTeX
- Jos C. M. Baeten, Mohammad Reza Mousavi, Michel A. Reniers:
Timing the Untimed: Terminating Successfully While Being Conservative.
251-279
Electronic Edition (link) BibTeX
- Detlef Plump:
Confluence of Graph Transformation Revisited.
280-308
Electronic Edition (link) BibTeX
- Yuxin Deng, Catuscia Palamidessi, Jun Pang:
Compositional Reasoning for Probabilistic Finite-State Behaviors.
309-337
Electronic Edition (link) BibTeX
- Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik:
Finite Equational Bases in Process Algebra: Results and Open Questions.
338-367
Electronic Edition (link) BibTeX
- Zena M. Ariola, Stefan Blom:
Skew and omega-Skew Confluence and Abstract Böhm Semantics.
368-403
Electronic Edition (link) BibTeX
- Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese:
A Mobility Calculus with Local and Dependent Types.
404-444
Electronic Edition (link) BibTeX
- Jan A. Bergstra, C. A. Middelburg:
Model Theory for Process Algebra.
445-495
Electronic Edition (link) BibTeX
- John J. Glauert, Delia Kesner, Zurab Khasidashvili:
Expression Reduction Systems and Extensions: An Overview.
496-553
Electronic Edition (link) BibTeX
- Paul-André Melliès:
Axiomatic Rewriting Theory I: A Diagrammatic Standardization Theorem.
554-638
Electronic Edition (link) BibTeX
Copyright © Sat May 16 22:59:40 2009
by Michael Ley (ley@uni-trier.de)
