default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID60. Birthday: Jan Willem Klop, 2005
- Aart Middeldorp, Vincent van Oostrom
, Femke van Raamsdonk, Roel C. de Vrijer:
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 J. 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, Cornelis 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-21 20:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
