Discrete Normalization and Standardization in Deterministic Residual Structures

DOI10.1007/3-540-61735-3_9zbMath1355.68139OpenAlexW1543156008MaRDI QIDQ2956718

John Glauert, Zurab Khasidashvili

Publication date: 19 January 2017

Published in: Algebraic and Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61735-3_9

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (7)

The geometry of orthogonal reduction spaces ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Perpetual reductions in \(\lambda\)-calculus ⋮ Descendants and origins in term rewriting. ⋮ The conflict-free reduction geometry ⋮ Relating conflict-free stable transition and event models via redex families

This page was built for publication: Discrete Normalization and Standardization in Deterministic Residual Structures