A semantic approach to order-sorted rewriting

DOI10.1007/978-3-662-21551-7_5OpenAlexW1605841142MaRDI QIDQ5055784

Andreas Werner

Publication date: 9 December 2022

Published in: Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-21551-7_5

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items

Dynamically-typed computations for order-sorted equational presentations, A semantic approach to order-sorted rewriting

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A note on a canonical theory with undecidable unification and matching problem
• Order-sorted completion: The many-sorted way
• Semantics of order-sorted specifications
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• A semantic approach to order-sorted rewriting
• Completion of rewrite systems with membership constraints
• Completeness and confluence of order-sorted term rewriting