|
Conferences in DBLP
- Robin Milner
The Spectra of Words. [Citation Graph (0, 0)][DBLP] Processes, Terms and Cycles, 2005, pp:1-5 [Conf]
- Marc Bezem
On the Undecidability of Coherent Logic. [Citation Graph (0, 0)][DBLP] Processes, Terms and Cycles, 2005, pp:6-13 [Conf]
- Albert Visser
Löb's Logic Meets the µ-Calculus. [Citation Graph (0, 0)][DBLP] Processes, Terms and Cycles, 2005, pp:14-25 [Conf]
- Rob J. van Glabbeek
A Characterisation of Weak Bisimulation Congruence. [Citation Graph (0, 0)][DBLP] Processes, Terms and Cycles, 2005, pp:26-39 [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:40-54 [Conf]
- Krzysztof R. Apt
Explaining Constraint Programming. [Citation Graph (0, 0)][DBLP] Processes, Terms and Cycles, 2005, pp:55-69 [Conf]
- Tomasz Blanc, Jean-Jacques Lévy, Luc Maranget
Sharing in the Weak Lambda-Calculus. [Citation Graph (0, 0)][DBLP] Processes, Terms and Cycles, 2005, pp:70-87 [Conf]
- Paul Klint, Tijs van der Storm, Jurgen J. Vinju
Term Rewriting Meets Aspect-Oriented Programming. [Citation Graph (0, 0)][DBLP] Processes, Terms and Cycles, 2005, pp:88-105 [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:106-126 [Conf]
- Nachum Dershowitz
Primitive Rewriting. [Citation Graph (0, 0)][DBLP] Processes, Terms and Cycles, 2005, pp:127-147 [Conf]
- Richard Kennaway, Paula Severi, M. Ronan Sleep, Fer-Jan de Vries
Infinitary Rewriting: From Syntax to Semantics. [Citation Graph (0, 0)][DBLP] Processes, Terms and Cycles, 2005, pp:148-172 [Conf]
- Hans Zantema
Reducing Right-Hand Sides for Termination. [Citation Graph (0, 0)][DBLP] Processes, Terms and Cycles, 2005, pp:173-197 [Conf]
- Yoshihito Toyama
Reduction Strategies for Left-Linear Term Rewriting Systems. [Citation Graph (0, 0)][DBLP] Processes, Terms and Cycles, 2005, pp:198-223 [Conf]
- Jean-Pierre Jouannaud
Higher-Order Rewriting: Framework, Confluence and Termination. [Citation Graph (0, 0)][DBLP] Processes, Terms and Cycles, 2005, pp:224-250 [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:251-279 [Conf]
- Detlef Plump
Confluence of Graph Transformation Revisited. [Citation Graph (0, 0)][DBLP] Processes, Terms and Cycles, 2005, pp:280-308 [Conf]
- Yuxin Deng, Catuscia Palamidessi, Jun Pang
Compositional Reasoning for Probabilistic Finite-State Behaviors. [Citation Graph (0, 0)][DBLP] Processes, Terms and Cycles, 2005, pp:309-337 [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:338-367 [Conf]
- Zena M. Ariola, Stefan Blom
Skew and omega-Skew Confluence and Abstract Böhm Semantics. [Citation Graph (0, 0)][DBLP] Processes, Terms and Cycles, 2005, pp:368-403 [Conf]
- Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese
A Mobility Calculus with Local and Dependent Types. [Citation Graph (0, 0)][DBLP] Processes, Terms and Cycles, 2005, pp:404-444 [Conf]
- Jan A. Bergstra, C. A. Middelburg
Model Theory for Process Algebra. [Citation Graph (0, 0)][DBLP] Processes, Terms and Cycles, 2005, pp:445-495 [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:496-553 [Conf]
- Paul-André Melliès
Axiomatic Rewriting Theory I: A Diagrammatic Standardization Theorem. [Citation Graph (0, 0)][DBLP] Processes, Terms and Cycles, 2005, pp:554-638 [Conf]
|