Böhm-Like Trees for Rewriting

Cached

Download Links

by Jeroen Ketema , Copyright Jeroen Ketema , Typeset L Atexε , Cover Design Dries Verbruggen , Unfold. Be
Citations:12 - 0 self

Active Bibliography

9 Verification Techniques for Extensions of Equality Logic – Bahareh Badban - 2006
25 Model Checking Timed Automata - Techniques and Applications – Typeset Latexε, Martijn Hendriks, Martijn Hendriks, Prof Frits, W. Vaandrager - 2006
13 Compositional Verification of Hybrid Systems using Simulation Relations – Goran Fedja Frehse - 2005
23 Games and full abstraction for nondeterministic languages – Russell S. Harmer - 1999
2 On Distributed Verification and Verified Distribution – Simona Mihaela Orzan - 2004
3 Stable computational semantics of conflict-free rewrite systems (Draft). Available at http://www.sys.uea.ac.uk/~zurab – Zurab Khasidashvili, John Glauert - 2000
21 Correspondence between Operational and Denotational Semantics – C. -h. L. Ong - 1995
128 Games and Full Abstraction for the Lazy lambda-calculus – Samson Abramsky, Guy Mccusker - 1995
10 Discrete Normalization and Standardization in Deterministic Residual Structures – Zurab Khasidashvili, John Glauert - 1996
1 Term Equational Systems and Logics (Extended Abstract) – Marcelo Fiore, Chung-kil Hur
The Geometry of Conflict-free Reduction Spaces – Z. Khasidashvili, J. Glauert, Zurab Khasidashvili, John Glauert - 1998
5 Minimal Relative Normalization in Orthogonal Expression Reduction Systems – John Glauert, Zurab Khasidashvili - 1996
7 Perpetual Reductions in λ-Calculus – Femke Van Raamsdonk, Paula Severi, Morten Heine B. Sørensen, B. Srensen, Hongwei Xi - 1999
5 Perpetual Reductions in λ-Calculus – Femke van Raamsdonk, Paula Severi, Morten Heine B. Sørensen, Hongwei Xi - 1999
1 2 HIGHER-ORDER MATCHING MODULO (SUPER)DEVELOPMENTS APPLICATIONS TO SECOND-ORDER MATCHING 3 – Germain Faure - 2009
6 Perpetuality and Uniform Normalization in Orthogonal Rewrite Systems – Zurab Khasidashvili, Mizuhito Ogawa, Vincent van Oostrom
3 Relative Normalization in Stable Deterministic Residual Structures – John Glauert, John Glauert, Zurab Khasidashvili, Zurab Khasidashvili - 1996
3 Minimal and Optimal Relative Normalization in Orthogonal Expression Reduction Systems – John Glauert, Z. Khasidashvili, John Glauert, Zurab Khasidashvili - 1996
11 Relative Normalization in Orthogonal Expression Reduction Systems – John Glauert, Zurab Khasidashvili - 1994