
Conferences in DBLP
 Robin Milner
The Spectra of Words. [Citation Graph (0, 0)][DBLP] Processes, Terms and Cycles, 2005, pp:15 [Conf]
 Marc Bezem
On the Undecidability of Coherent Logic. [Citation Graph (0, 0)][DBLP] Processes, Terms and Cycles, 2005, pp:613 [Conf]
 Albert Visser
Löb's Logic Meets the µCalculus. [Citation Graph (0, 0)][DBLP] Processes, Terms and Cycles, 2005, pp:1425 [Conf]
 Rob J. van Glabbeek
A Characterisation of Weak Bisimulation Congruence. [Citation Graph (0, 0)][DBLP] Processes, Terms and Cycles, 2005, pp:2639 [Conf]
 Richard Statman, Henk Barendregt
Böhm's Theorem, Church's Delta, Numeral Systems, and Ershov Morphisms. [Citation Graph (0, 0)][DBLP] Processes, Terms and Cycles, 2005, pp:4054 [Conf]
 Krzysztof R. Apt
Explaining Constraint Programming. [Citation Graph (0, 0)][DBLP] Processes, Terms and Cycles, 2005, pp:5569 [Conf]
 Tomasz Blanc, JeanJacques Lévy, Luc Maranget
Sharing in the Weak LambdaCalculus. [Citation Graph (0, 0)][DBLP] Processes, Terms and Cycles, 2005, pp:7087 [Conf]
 Paul Klint, Tijs van der Storm, Jurgen J. Vinju
Term Rewriting Meets AspectOriented Programming. [Citation Graph (0, 0)][DBLP] Processes, Terms and Cycles, 2005, pp:88105 [Conf]
 Fabio Gadducci, Ugo Montanari
Observing Reductions in Nominal Calculi Via a Graphical Encoding of Processes. [Citation Graph (0, 0)][DBLP] Processes, Terms and Cycles, 2005, pp:106126 [Conf]
 Nachum Dershowitz
Primitive Rewriting. [Citation Graph (0, 0)][DBLP] Processes, Terms and Cycles, 2005, pp:127147 [Conf]
 Richard Kennaway, Paula Severi, M. Ronan Sleep, FerJan de Vries
Infinitary Rewriting: From Syntax to Semantics. [Citation Graph (0, 0)][DBLP] Processes, Terms and Cycles, 2005, pp:148172 [Conf]
 Hans Zantema
Reducing RightHand Sides for Termination. [Citation Graph (0, 0)][DBLP] Processes, Terms and Cycles, 2005, pp:173197 [Conf]
 Yoshihito Toyama
Reduction Strategies for LeftLinear Term Rewriting Systems. [Citation Graph (0, 0)][DBLP] Processes, Terms and Cycles, 2005, pp:198223 [Conf]
 JeanPierre Jouannaud
HigherOrder Rewriting: Framework, Confluence and Termination. [Citation Graph (0, 0)][DBLP] Processes, Terms and Cycles, 2005, pp:224250 [Conf]
 Jos C. M. Baeten, Mohammad Reza Mousavi, Michel A. Reniers
Timing the Untimed: Terminating Successfully While Being Conservative. [Citation Graph (0, 0)][DBLP] Processes, Terms and Cycles, 2005, pp:251279 [Conf]
 Detlef Plump
Confluence of Graph Transformation Revisited. [Citation Graph (0, 0)][DBLP] Processes, Terms and Cycles, 2005, pp:280308 [Conf]
 Yuxin Deng, Catuscia Palamidessi, Jun Pang
Compositional Reasoning for Probabilistic FiniteState Behaviors. [Citation Graph (0, 0)][DBLP] Processes, Terms and Cycles, 2005, pp:309337 [Conf]
 Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik
Finite Equational Bases in Process Algebra: Results and Open Questions. [Citation Graph (0, 0)][DBLP] Processes, Terms and Cycles, 2005, pp:338367 [Conf]
 Zena M. Ariola, Stefan Blom
Skew and omegaSkew Confluence and Abstract Böhm Semantics. [Citation Graph (0, 0)][DBLP] Processes, Terms and Cycles, 2005, pp:368403 [Conf]
 Mario Coppo, Federico Cozzi, Mariangiola DezaniCiancaglini, Elio Giovannetti, Rosario Pugliese
A Mobility Calculus with Local and Dependent Types. [Citation Graph (0, 0)][DBLP] Processes, Terms and Cycles, 2005, pp:404444 [Conf]
 Jan A. Bergstra, C. A. Middelburg
Model Theory for Process Algebra. [Citation Graph (0, 0)][DBLP] Processes, Terms and Cycles, 2005, pp:445495 [Conf]
 John J. Glauert, Delia Kesner, Zurab Khasidashvili
Expression Reduction Systems and Extensions: An Overview. [Citation Graph (0, 0)][DBLP] Processes, Terms and Cycles, 2005, pp:496553 [Conf]
 PaulAndré Melliès
Axiomatic Rewriting Theory I: A Diagrammatic Standardization Theorem. [Citation Graph (0, 0)][DBLP] Processes, Terms and Cycles, 2005, pp:554638 [Conf]
