A partial solution for D-unification based on a reduction to AC 1-unification (Q4630297)
From MaRDI portal
scientific article; zbMATH DE number 7045148
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A partial solution for D-unification based on a reduction to AC 1-unification |
scientific article; zbMATH DE number 7045148 |
Statements
A partial solution for D-unification based on a reduction to AC 1-unification (English)
0 references
29 March 2019
0 references
variable identification
0 references
function symbol
0 references
equational theory
0 references
Diophantine equation
0 references
free algebra
0 references
