Mathematical Aspects of Logic Programming Semantics (Q3075664)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Mathematical Aspects of Logic Programming Semantics |
scientific article |
Statements
Mathematical Aspects of Logic Programming Semantics (English)
0 references
16 February 2011
0 references
logic programming
0 references
fixed-point theorems
0 references
declarative semantics
0 references
topology
0 references
metric spaces
0 references
multivalued mappings
0 references
artificial neural networks
0 references
