Order-sorted completion: The many-sorted way
- 1 January 1989
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Operational semantics for order-sorted algebraPublished by Springer Nature ,2005
- Equational completion in order-sorted algebras extended abstractPublished by Springer Nature ,2005
- Order-sorted completion: The many-sorted wayPublished by Springer Nature ,1989
- Operational semantics of OBJ-3Published by Springer Nature ,1988
- Completion with history-dependent complexities for generated equationsPublished by Springer Nature ,1988
- A completion procedure for conditional equationsPublished by Springer Nature ,1988
- Confluence of conditional rewrite systemsPublished by Springer Nature ,1988
- On word problems in Horn theoriesPublished by Springer Nature ,1988
- On word problems in equational theoriesPublished by Springer Nature ,1987
- Fair Conditional Term Rewriting Systems: Unification, Termination and ConfluencePublished by Springer Nature ,1985