Higher-order rewriting

DOI10.1007/3-540-48685-2_17MaRDI QIDQ4938608zbMATH OpenFDO

Authors Femke van Raamsdonk

Publication date 25 April 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-48685-2_17

zbMATH Keywords

higher-order rewriting

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Processes, Terms and Cycles: Steps on the Road to Infinity
• Higher-order rewrite systems and their confluence
• scientific article; zbMATH DE number 1552533
• Rewriting, and equational unification: the higher-order cases
• scientific article; zbMATH DE number 6027889

Cited in

(20)

• n-level rewriting systems
• Pattern matching as cut elimination
• Evaluation strategies for functional logic programming
• Shallow confluence of conditional term rewriting systems
• Evaluation strategies for functional logic programming
• de Bruijn Indices for Metaterms
• Relating Higher-order and First-order Rewriting
• scientific article; zbMATH DE number 4050972 (Why is no real title available?)
• scientific article; zbMATH DE number 1231655 (Why is no real title available?)
• Free variables and subexpressions in higher-order meta logic
• scientific article; zbMATH DE number 1942460 (Why is no real title available?)
• scientific article; zbMATH DE number 1497799 (Why is no real title available?)
• The variable containment problem
• scientific article; zbMATH DE number 7340567 (Why is no real title available?)
• A restricted form of higher-order rewriting applied to an HDL semantics
• First-order formative rules
• Infinitary combinatory reduction systems
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Levels of undecidability in rewriting
• Verifying termination and reduction properties about higher-order logic programs

This page was built for publication: Higher-order rewriting

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