No label defined (Q4942654)
From MaRDI portal
scientific article; zbMATH DE number 1414317
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 1414317 |
Statements
16 March 2000
0 references
union of equational theories
0 references
unification
0 references