scientific article; zbMATH DE number 1499112

zbMATH Open0964.68523MaRDI QIDQ4501166FDOQ4501166

Vincent van Oostrom, Femke van Raamsdonk

Publication date: 3 September 2000

Title of this publication is not available (Why is that?)

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 that?)
• 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 that?)
• 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)