A criterion for intractability of E-unification with free function symbols and its relevance for combination of unification algorithms (Q4594235)
From MaRDI portal
scientific article; zbMATH DE number 6808111
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A criterion for intractability of E-unification with free function symbols and its relevance for combination of unification algorithms |
scientific article; zbMATH DE number 6808111 |
Statements
A criterion for intractability of E-unification with free function symbols and its relevance for combination of unification algorithms (English)
0 references
17 November 2017
0 references
