No label defined (Q4282517)
From MaRDI portal
scientific article; zbMATH DE number 516997
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 516997 |
Statements
17 March 1994
0 references
logic programming languages
0 references
parametric type system
0 references
generic polymorphism
0 references
completion semantics
0 references
SLDNF-resolution
0 references
