Electronic Notes in Theoretical Computer Science

Titel Veröffentlichungsdatum Sprache Zitate
Compatibility between Syntax and Semantics of Graph Grammars1998/01/01English
Monads, Shapely Functors and Traversals1999/01/01English
Secrecy and Group Creation2001/03/01English
On the Semantics of Message Passing Processes1999/01/01English
Queues as Processes1998/01/01English
Intensional Approaches for Symbolic Methods1998/01/01English
Strong Completeness of a Narrowing Calculus for Conditional Rewrite Systems with Extra Variables2000/01/01English
Recursion and Computability over Topological Structures2001/03/01English
Second Generation Object-Oriented Development1998/01/01English
A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting1999/01/01English
Graph Reduction, and How To Avoid It1995/01/01English
Semagraph: the Theory and Practice of Term Graph Rewriting1995/01/01English
Preface2000/01/01English
Hausdorff compactifications of topological function spaces via the theory of continuous lattices2001/03/01English
A graphical approach to monad compositions2001/03/01English
Applications of Term Rewriting to Cryptographic Protocol Analysis (overview of the invited talk)2000/01/01English
Hilbert Q-modules and Nuclear Ideals in the Category of V-semilattices with a Duality1999/01/01English
Dynamic Deterministic Pattern-Matching2000/01/01English
Dedication1997/01/01English
Proof-theoretic notions for software maintenance2001/03/01English
What is a 'Good' Encoding of Guarded Choice?1997/01/01English
Process Algebra and Information Flow2001/03/01English
Correctness of a Region-Based Binding-Time Analysis1997/01/01English
Preface2002/09/01English
A New Representation for Exact Real Numbers1997/01/01English
Assertion based Inductive Verification Methods for Logic Programs2001/03/01English
Faithful π-nets.1998/01/01English
A Programmed Graph Rewriting System for Software Process Management1995/01/01English
Several Applications of Analytic Functors to Theoretical1999/01/01English
Monads, Effects and Transformations1999/01/01English