OASys: an AND/OR parallel logic programming system (Q1285693)
From MaRDI portal
!
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 1281150
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | OASys: an AND/OR parallel logic programming system |
scientific article; zbMATH DE number 1281150 |
Statements
OASys: an AND/OR parallel logic programming system (English)
0 references
28 April 1999
0 references
parallel prolog
0 references
AND/OR-parallelism
0 references
copying
0 references
recomputation
0 references
0.8173061013221741
0 references
0.7860831618309021
0 references
