scientific article; zbMATH DE number 1231495

MaRDI QIDQ4222804zbMATH OpenFDO

Authors 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

zbMATH Keywords

context-sensitive conditional expression reduction systemsreal context-sensitive systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Processes, Terms and Cycles: Steps on the Road to Infinity
• Expression reduction systems with patterns
• scientific article; zbMATH DE number 2043524
• Applications and extensions of context-sensitive rewriting
• scientific article; zbMATH DE number 4208054

Cited in

(9)

• Perpetuality and uniform normalization in orthogonal rewrite systems
• Lambda calculus with patterns
• Processes, Terms and Cycles: Steps on the Road to Infinity
• The Confluent Terminating Context-Free Substitutive Rewriting System for the lambda-Calculus with Surjective Pairing and Terminal Type
• Minimality in a linear calculus with iteration
• On the longest perpetual reductions in orthogonal expression reduction systems
• Nominal rewriting
• scientific article; zbMATH DE number 2043524 (Why is no real title available?)
• Descendants and origins in term rewriting.

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4222804)