The Longest Perpetual Reductions in Orthogonal Expression Reduction Systems (1994)

Cached

Download Links

by Zurab Khasidashvili
Venue:In: Proc. of the 3 rd International Conference on Logical Foundations of Computer Science, LFCS'94, A. Nerode and Yu.V. Matiyasevich, eds., Springer LNCS
Citations:18 - 8 self

Active Bibliography

7 Perpetuality and Uniform Normalization in Orthogonal Rewrite Systems – Zurab Khasidashvili, Mizuhito Ogawa, Vincent van Oostrom
4 Perpetuality and Uniform Normalization – Zurab Khasidashvili, Mizuhito Ogawa - 1997
6 Perpetual Reductions in λ-Calculus – Femke van Raamsdonk, Paula Severi, Morten Heine B. Sørensen, Hongwei Xi - 1999
7 Perpetual Reductions in λ-Calculus – Femke Van Raamsdonk, Paula Severi, Morten Heine B. Sørensen, B. Srensen, Hongwei Xi - 1999
20 On Higher Order Recursive Program Schemes – Zurab Khasidashvili
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
84 Combinatory Reduction Systems: introduction and survey – Jan Willem Klop, Vincent van Oostrom, Femke van Raamsdonk - 1993
1 1 Context-sensitive Conditional Reduction Systems – Z. Khasidashvili, V. Van Oostrom, Zurab Khasidashvili
20 Higher-Order Rewriting – Femke Van Raamsdonk - 1999
3 Stable Results and Relative Normalization – John Glauert, Richard Kennaway, Zurab Khasidashvili - 2000
10 Perpetuality and Strong Normalization in Orthogonal Term Rewriting Systems – Zurab Khasidashvili - 1994
5 Development Closed Critical Pairs – Vincent van Oostrom - 1996
3 Perpetual Reductions and Strong Normalization in Orthogonal Term Rewriting Systems – Zurab Khasidashvili - 1993
3 Relative Normalization in Stable Deterministic Residual Structures – John Glauert, John Glauert, Zurab Khasidashvili, Zurab Khasidashvili - 1996
63 Higher-order rewrite systems and their confluence – Richard Mayr - 1998
5 Minimal Relative Normalization in Orthogonal Expression Reduction Systems – John Glauert, Zurab Khasidashvili - 1996
1 Khasidashvili Z. An abstract Böhm-normalization. in – John Glauert, Zurab Khasidashvili - 2002
Four Equivalent Equivalences of Reductions – Vincent Van Oostrom, Roel De Vrijer - 2002