No label defined (Q4283239)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 515736
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 515736 |
Statements
19 October 1994
0 references
completeness of narrowing
0 references
operational semantics
0 references
higher-order functional logic language
0 references
0.824249804019928
0 references
0.8155942559242249
0 references
0.8027248978614807
0 references
0.8008306622505188
0 references
0.7882322669029236
0 references
