Unification properties of commutative theories: A categorical treatment
- 22 November 2005
- book chapter
- Published by Springer Nature
- p. 273-299
- https://doi.org/10.1007/bfb0018357
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Characterizations of unification type zeroPublished by Springer Nature ,1989
- Unification in commutative idempotent monoidsTheoretical Computer Science, 1988
- Unification in varieties of idempotent semigroupsSemigroup Forum, 1987
- Completion of a Set of Rules Modulo a Set of EquationsSIAM Journal on Computing, 1986
- Complete sets of unifiers and matchers in equational theoriesTheoretical Computer Science, 1986
- An algebraic approach to unification under associativity and commutativityLecture Notes in Computer Science, 1985
- Gröbner Bases: An Algorithmic Method in Polynomial Ideal TheoryPublished by Springer Nature ,1985
- A theory of complete logic programs with equalityThe Journal of Logic Programming, 1984
- Confluent and coherent equational term rewriting systems application to proofs in abstract data typesPublished by Springer Nature ,1983
- An algorithm to generate the basis of solutions to homogeneous linear diophantine equationsInformation Processing Letters, 1978