Searching for authors named Zurab Khasidashvili – sorted by Relevance.
29 documents found, showing 1 through 10.
Next 10 →
-
The Longest Perpetual Reductions in Orthogonal Expression Reduction Systems
- …The Longest Perpetual Reductions in Orthogonal Expression Reduction Systems Zurab Khasidashvili…
- Cited by 18 (8 self) – Add To MetaCart
-
Optimal Normalization in Orthogonal Term Rewriting Systems
- …Optimal Normalization in Orthogonal Term Rewriting Systems Zurab Khasidashvili INRIA…
- Cited by 23 (20 self) – Add To MetaCart
-
On Higher Order Recursive Program Schemes
- …On Higher Order Recursive Program Schemes Zurab Khasidashvili School of Information Systems, UEA…
- Cited by 19 (16 self) – Add To MetaCart
-
Perpetuality and Strong Normalization in Orthogonal Term Rewriting Systems
- …Perpetuality and Strong Normalization in Orthogonal Term Rewriting Systems Zurab Khasidashvili…
- Cited by 10 (5 self) – Add To MetaCart
-
Perpetual Reductions and Strong Normalization in Orthogonal Term Rewriting Systems
- …1 Perpetual Reductions and Strong Normalization in Orthogonal Term Rewriting Systems Zurab…
- Cited by 3 (2 self) – Add To MetaCart
-
Expression Reduction Systems
- …Expression Reduction Systems 3 Zurab Khasidashvili Institute of Applied Mathematics, Tbilisi…
- Cited by 22 (6 self) – Add To MetaCart
-
β-Reductions and β-Developments of λ-Terms with the Least Number of Steps
- …fi-Reductions and fi-Developments of -Terms with the Least Number of Steps Zurab O…
- Add To MetaCart
-
The Geometry of Conflict-free Reduction Spaces
- …-C98-04 UEA Norwich, UK The Geometry of Conflict-free Reduction Spaces Zurab Khasidashvili 1 NTT…
- Add To MetaCart
-
Relating Conflict-free Stable Transition and Event Models (Extended Abstract)
- …Relating Conflict-free Stable Transition and Event Models (Extended Abstract) Zurab Khasidashvili…
- Cited by 3 (1 self) – Add To MetaCart
-
Normalization of Typable Terms by Superdevelopments
- …Normalization of Typable Terms by Superdevelopments Zurab Khasidashvili 1 ? and Adolfo Piperno…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
