Unification through projectivity (Q4381867)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Unification through projectivity |
scientific article; zbMATH DE number 1132975
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.819178581237793
0 references
0.8188696503639221
0 references
0.8117889165878296
0 references
0.8087484240531921
0 references
