Combination of constraint systems II: Rational amalgamation (Q5958755)
From MaRDI portal
scientific article; zbMATH DE number 1715800
Language | Label | Description | Also known as |
---|---|---|---|
English | Combination of constraint systems II: Rational amalgamation |
scientific article; zbMATH DE number 1715800 |
Statements
Combination of constraint systems II: Rational amalgamation (English)
0 references
3 March 2002
0 references
constraint solving
0 references
unification
0 references
combination
0 references
universal algebra
0 references