Order-sorted completion: The many-sorted way
From MaRDI portal
Publication:1177935
DOI10.1016/0304-3975(90)90105-QzbMath0736.68050MaRDI QIDQ1177935
Publication date: 26 June 1992
Published in: Theoretical Computer Science (Search for Journal in Brave)
68Q42: Grammars and rewriting systems
Related Items
Equational completion in order-sorted algebras, Semantics of order-sorted specifications, Specification and proof in membership equational logic
Cites Work
- A completion procedure for conditional equations
- Investigations in many-sorted quantor logic
- Semantics of computation
- Completion-time optimization of rewrite-time goal solving
- Completion of first-order clauses with equality by strict superposition
- Knuth-bendix completion of horn clause programs for restricted linear resolution and paramodulation
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item