A Theoretical Perspective of Coinductive Logic Programming (Q3187007)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Theoretical Perspective of Coinductive Logic Programming |
scientific article |
Statements
A Theoretical Perspective of Coinductive Logic Programming (English)
0 references
15 August 2016
0 references
foundations of logic programming
0 references
denotational semantics
0 references
coinduction
0 references
