Higher-Order Logic Programming Languages with Constraints: A Semantics (Q3612637)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Higher-Order Logic Programming Languages with Constraints: A Semantics |
scientific article |
Statements
Higher-Order Logic Programming Languages with Constraints: A Semantics (English)
0 references
10 March 2009
0 references
