scientific article; zbMATH DE number 1523050
From MaRDI portal
Publication:4511325
zbMath0956.03011MaRDI QIDQ4511325
Publication date: 30 October 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Jumping and escaping: modular termination and the abstract path ordering ⋮ Towards a geometry of recursion ⋮ On the longest perpetual reductions in orthogonal expression reduction systems ⋮ Perpetual reductions in \(\lambda\)-calculus ⋮ Perpetuality and uniform normalization in orthogonal rewrite systems