Unification in a combination of equational theories with shared constants and its application to primal algebras
- 23 November 2005
- book chapter
- Published by Springer Nature
- p. 261-272
- https://doi.org/10.1007/bfb0013067
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Unification in the union of disjoint equational theories: Combining decision proceduresPublished by Springer Nature ,1992
- Unification in primal algebras, their powers and their varietiesJournal of the ACM, 1990
- Symbolic constraint handling through unification in finite algebrasApplicable Algebra in Engineering, Communication and Computing, 1990
- Unification in a combination of arbitrary disjoint equational theoriesJournal of Symbolic Computation, 1989
- Boolean unification — The story so farJournal of Symbolic Computation, 1989
- Unification in combinations of collapse-free regular theoriesJournal of Symbolic Computation, 1987