scientific article; zbMATH DE number 1499112

zbMATH Open0964.68523MaRDI QIDQ4501166FDOQ4501166

Authors Vincent van Oostrom, Femke van Raamsdonk 

Publication date 3 September 2000

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40)

Cited In (19)

• Perpetuality and uniform normalization in orthogonal rewrite systems
• Minimal relative normalization in orthogonal expression reduction systems
• Title not available (Why is no real title available?)
• Confluence of extensional and non-extensional \(\lambda\)-calculi with explicit substitutions
• On the confluence of lambda-calculus with conditional rewriting
• Higher-order rewrite systems and their confluence
• Expression reduction systems with patterns
• On the longest perpetual reductions in orthogonal expression reduction systems
• Title not available (Why is no real title available?)
• Developing developments
• Confluence properties of extensional and non-extensional λ-calculi with explicit substitutions (extended abstract)
• On modularity in infinitary term rewriting
• Shallow confluence of conditional term rewriting systems
• On interreduction of semi-complete term rewriting systems
• Descendants and origins in term rewriting.
• Development closed critical pairs
• Relative normalization in Deterministic Residual Structures
• Combinatory reduction systems with explicit substitution that preserve strong normalisation
• Problems in rewriting III

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 Q4501166)