Prototyping combination of unification algorithms with the ELAN rule-based programming language
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 323-326
- https://doi.org/10.1007/3-540-62950-5_81
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Combining Decision Algorithms for Matching in the Union of Disjoint Equational TheoriesInformation and Computation, 1996
- Unification in the Union of Disjoint Equational Theories: Combining Decision ProceduresJournal of Symbolic Computation, 1996
- Combining Symbolic Constraint Solvers on Algebraic DomainsJournal of Symbolic Computation, 1994
- Unification in a combination of arbitrary disjoint equational theoriesJournal of Symbolic Computation, 1989