Unification through projectivity (Q4381867)
From MaRDI portal
scientific article; zbMATH DE number 1132975
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Unification through projectivity |
scientific article; zbMATH DE number 1132975 |
Statements
Unification through projectivity (English)
0 references
25 March 1998
0 references
E-unification
0 references
algebraic approach to unification under equational conditions
0 references
finitely presented algebra
0 references
projective algebra
0 references
categorical equivalence
0 references
Brouwerian semilattices
0 references
