scientific article; zbMATH DE number 1456960
From MaRDI portal
zbMath0938.68643MaRDI QIDQ4954449
Publication date: 7 June 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
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
