The geometry of orthogonal reduction spaces

DOI10.1007/3-540-63165-8_219zbMath1401.68137OpenAlexW1758532497MaRDI QIDQ4571994

John Glauert, Zurab Khasidashvili

Publication date: 4 July 2018

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-63165-8_219

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Grammars and rewriting systems (68Q42)

Related Items (2)

Descendants and origins in term rewriting. ⋮ The conflict-free reduction geometry

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Concurrent transition systems
• Discrete Normalization and Standardization in Deterministic Residual Structures
• Functions as processes
• Optimal normalization in orthogonal term rewriting systems
• Higher-order families
• An Abstract form of the church-rosser theorem. I
• Relative normalization in Deterministic Residual Structures

This page was built for publication: The geometry of orthogonal reduction spaces