Coalgebraic derivations in logic programming
From MaRDI portal
Recommendations
- Coalgebraic semantics for parallel derivation strategies in logic programming
- Coalgebraic logic programming: from Semantics to Implementation
- Coalgebraic semantics for derivations in logic programming
- Saturated semantics for coalgebraic logic programming
- Exploiting parallelism in coalgebraic logic programming
Cited in
(17)- Logic programming: laxness and saturation
- A coinductive approach to proof search through typed lambda-calculi
- On dual programs in co-logic programming and the Horn \({\mu}\)-calculus
- Operational semantics of resolution and productivity in Horn clause logic
- Exploiting parallelism in coalgebraic logic programming
- A coalgebraic decision procedure for NetKAT
- Saturated semantics for coalgebraic logic programming
- Declarative compilation for constraint logic programming
- Coalgebraic semantics for parallel derivation strategies in logic programming
- Coalgebraic semantics for derivations in logic programming
- scientific article; zbMATH DE number 4181320 (Why is no real title available?)
- Constraint logic programming with a relational machine
- Coalgebraic Announcement Logics
- Category theoretic semantics for theorem proving in logic programming: embracing the laxness
- Coalgebraic logic programming: from Semantics to Implementation
- A Coalgebraic Approach to Unification Semantics of Logic Programming
- Kripke semantics for higher-order type theory applied to constraint logic programming languages
This page was built for publication: Coalgebraic derivations in logic programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2915694)
