Pages that link to "Item:Q3090859"
From MaRDI portal
The following pages link to Infinite Computation, Co-induction and Computational Logic (Q3090859):
Displaying 7 items.
- On dual programs in co-logic programming and the Horn \({\mu}\)-calculus (Q2628297) (← links)
- Extending Co-logic Programs for Branching-Time Model Checking (Q3453651) (← links)
- Coalgebraic Semantic Model for the Clock Constraint Specification Language (Q3460225) (← links)
- Flexible coinductive logic programming (Q5140017) (← links)
- On Dual Programs in Co-Logic Programming (Q5743583) (← links)
- Fifty Years of Prolog and Beyond (Q6063890) (← links)
- Proof-theoretic foundations of normal logic programs (Q6175112) (← links)
