Login / Signup
Processes, Terms and Cycles
2005
2005
2005
Keyphrases
Publications
2005
Paul Klint
,
Tijs van der Storm
,
Jurgen J. Vinju
Term Rewriting Meets Aspect-Oriented Programming.
Processes, Terms and Cycles
(2005)
Mario Coppo
,
Federico Cozzi
,
Mariangiola Dezani-Ciancaglini
,
Elio Giovannetti
,
Rosario Pugliese
A Mobility Calculus with Local and Dependent Types.
Processes, Terms and Cycles
(2005)
Yoshihito Toyama
Reduction Strategies for Left-Linear Term Rewriting Systems.
Processes, Terms and Cycles
(2005)
Richard Statman
,
Henk Barendregt
Böhm's Theorem, Church's Delta, Numeral Systems, and Ershov Morphisms.
Processes, Terms and Cycles
(2005)
John R. W. Glauert
,
Delia Kesner
,
Zurab Khasidashvili
Expression Reduction Systems and Extensions: An Overview.
Processes, Terms and Cycles
(2005)
Hans Zantema
Reducing Right-Hand Sides for Termination.
Processes, Terms and Cycles
(2005)
Jean-Pierre Jouannaud
Higher-Order Rewriting: Framework, Confluence and Termination.
Processes, Terms and Cycles
(2005)
Jan A. Bergstra
,
Cornelis A. Middelburg
Model Theory for Process Algebra.
Processes, Terms and Cycles
(2005)
Robin Milner
The Spectra of Words.
Processes, Terms and Cycles
(2005)
Detlef Plump
Confluence of Graph Transformation Revisited.
Processes, Terms and Cycles
(2005)
Albert Visser
Löb's Logic Meets the µ-Calculus.
Processes, Terms and Cycles
(2005)
Nachum Dershowitz
Primitive Rewriting.
Processes, Terms and Cycles
(2005)
Jos C. M. Baeten
,
Mohammad Reza Mousavi
,
Michel A. Reniers
Timing the Untimed: Terminating Successfully While Being Conservative.
Processes, Terms and Cycles
(2005)
Luca Aceto
,
Wan J. Fokkink
,
Anna Ingólfsdóttir
,
Bas Luttik
Finite Equational Bases in Process Algebra: Results and Open Questions.
Processes, Terms and Cycles
(2005)
Tomasz Blanc
,
Jean-Jacques Lévy
,
Luc Maranget
Sharing in the Weak Lambda-Calculus.
Processes, Terms and Cycles
(2005)
Fabio Gadducci
,
Ugo Montanari
a Graphical Encoding of Processes.
Processes, Terms and Cycles
(2005)
Marc Bezem
On the Undecidability of Coherent Logic.
Processes, Terms and Cycles
(2005)
Krzysztof R. Apt
Explaining Constraint Programming.
Processes, Terms and Cycles
(2005)
Rob J. van Glabbeek
A Characterisation of Weak Bisimulation Congruence.
Processes, Terms and Cycles
(2005)
Paul-André Melliès
Axiomatic Rewriting Theory I: A Diagrammatic Standardization Theorem.
Processes, Terms and Cycles
(2005)
Richard Kennaway
,
Paula Severi
,
M. Ronan Sleep
,
Fer-Jan de Vries
Infinitary Rewriting: From Syntax to Semantics.
Processes, Terms and Cycles
(2005)
Zena M. Ariola
,
Stefan Blom
-Skew Confluence and Abstract Böhm Semantics.
Processes, Terms and Cycles
(2005)
Yuxin Deng
,
Catuscia Palamidessi
,
Jun Pang
Compositional Reasoning for Probabilistic Finite-State Behaviors.
Processes, Terms and Cycles
(2005)
volume 3838, 2005
Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday
Processes, Terms and Cycles
3838 (2005)