scientific article; zbMATH DE number 1361485

zbMath0942.68061MaRDI QIDQ4699303

John Glauert, Zurab Khasidashvili

Publication date: 21 August 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

\(\lambda\)-calculusconflict-free rewrite systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items

The geometry of orthogonal reduction spaces, The conflict-free reduction geometry, Relating conflict-free stable transition and event models via redex families