Publication:4222804
From MaRDI portal
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
68Q42: Grammars and rewriting systems
Related Items
Unnamed Item, On the longest perpetual reductions in orthogonal expression reduction systems, Lambda calculus with patterns, Descendants and origins in term rewriting., Perpetuality and uniform normalization in orthogonal rewrite systems, Nominal rewriting, Minimality in a Linear Calculus with Iteration