scientific article; zbMATH DE number 1231495
From MaRDI portal
Publication:4222804
zbMath0910.68098MaRDI QIDQ4222804
Vincent van Oostrom, Zurab Khasidashvili
Publication date: 13 December 1998
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume2.htm#khasidasshvili
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Nominal rewriting ⋮ Lambda calculus with patterns ⋮ On the longest perpetual reductions in orthogonal expression reduction systems ⋮ The Confluent Terminating Context-Free Substitutive Rewriting System for the lambda-Calculus with Surjective Pairing and Terminal Type ⋮ Descendants and origins in term rewriting. ⋮ Perpetuality and uniform normalization in orthogonal rewrite systems ⋮ Minimality in a Linear Calculus with Iteration
This page was built for publication: