The following pages link to (Q4936126):
Displaying 6 items.
- Set constraints with intersection (Q2506490) (← links)
- 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)
- Inf-datalog, Modal Logic and Complexities (Q3549285) (← links)
- On Dual Programs in Co-Logic Programming (Q5743583) (← links)
- A logical framework with higher-order rational (circular) terms (Q6091181) (← links)