scientific article; zbMATH DE number 1231495

zbMATH Open0910.68098MaRDI QIDQ4222804FDOQ4222804

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 of this publication is not available (Why is that?)

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 Keywords

context-sensitive conditional expression reduction systemsreal context-sensitive systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

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
• Title not available (Why is that?)
• 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)