Pages that link to "Item:Q5428832"
From MaRDI portal
The following pages link to Co-Logic Programming: Extending Logic Programming with Coinduction (Q5428832):
Displayed 3 items.
- Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming (Q3067470) (← links)
- Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification? (Q3067532) (← links)
- Type Inference by Coinductive Logic Programming (Q3638242) (← links)