scientific article; zbMATH DE number 1456960

zbMath0938.68643MaRDI QIDQ4954449

Zurab Khasidashvili

Publication date: 7 June 2000

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (6)

The geometry of orthogonal reduction spaces ⋮ On equal \(\mu \)-terms ⋮ On the longest perpetual reductions in orthogonal expression reduction systems ⋮ Perpetual reductions in \(\lambda\)-calculus ⋮ Perpetuality and uniform normalization in orthogonal rewrite systems ⋮ The conflict-free reduction geometry

This page was built for publication: