Currying of order-sorted term rewriting systems

DOI10.1007/BFB0030833MaRDI QIDQ6085707zbMATH OpenOpenAlexFDO

Authors Yoshinobu Kawabe, Naohiro Ishii

Publication date 12 December 2023

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

Full work available at URL https://doi.org/10.1007/bfb0030833

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Order-Sorted Rewriting and Congruence Closure
• A semantic approach to order-sorted rewriting
• A semantic approach to order-sorted rewriting
• Completeness and confluence of order-sorted term rewriting
• Confluence of curried term-rewriting systems
• scientific article; zbMATH DE number 176122
• Term rewriting systems with sort priorities
• A termination ordering for higher order rewrite systems
• scientific article; zbMATH DE number 1088278
• Termination orderings for associative-commutative rewriting systems

Cites work

• Comparing curried and uncurried rewriting
• Compatibility of order-sorted rewrite rules
• Computational aspects of an order-sorted logic with term declarations
• Confluence of curried term-rewriting systems

Cited in

(3)

• Order-Sorted Rewriting and Congruence Closure
• scientific article; zbMATH DE number 6476783 (Why is no real title available?)
• A semantic approach to order-sorted rewriting

This page was built for publication: Currying of order-sorted term rewriting systems

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