No label defined (Q4259969)
From MaRDI portal
scientific article; zbMATH DE number 1332642
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1332642 |
Statements
9 September 1999
0 references
functional logic programs
0 references
\(E\)-unification problems
0 references
