A functorial framework for constraint normal logic programming (Q934677)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A functorial framework for constraint normal logic programming |
scientific article; zbMATH DE number 5306136
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A functorial framework for constraint normal logic programming |
scientific article; zbMATH DE number 5306136 |
Statements
A functorial framework for constraint normal logic programming (English)
0 references
30 July 2008
0 references
Constraint logic programming
0 references
Constructive negation
0 references
Semantics
0 references
0 references
0 references
1.0000001
0 references
0.9268547
0 references
0.9223151
0 references
0.9161558
0 references
0.90666306
0 references
0.8957461
0 references
