swMATH16105MaRDI QIDQ27977FDOQ27977
Author name not available (Why is that?)
Official website: http://staff.computing.dundee.ac.uk/katya/CoALP/
Cited In (24)
- Category theoretic semantics for theorem proving in logic programming: embracing the laxness
- Kripke semantics for higher-order type theory applied to constraint logic programming languages
- Logic programming: laxness and saturation
- Flexible coinductive logic programming
- A productivity checker for logic programming
- Operational semantics of resolution and productivity in Horn clause logic
- Coalgebraic semantics for parallel derivation strategies in logic programming
- Coalgebraic semantics for derivations in logic programming
- Hiord
- Enhancing expressivity of checked corecursive streams
- Productive corecursion in logic programming
- CoCaml
- coFJ
- Bialgebraic semantics for logic programming
- Integrating induction and coinduction via closure operators and proof cycles
- A game semantics for disjunctive logic programming
- Title not available (Why is that?)
- Coalgebraic derivations in logic programming
- Title not available (Why is that?)
- A type-theoretic approach to resolution
- Constraint logic programming with a relational machine
- A coinductive approach to proof search through typed lambda-calculi
- Universal constructions for (co)relations: categories, monoidal categories, and props
- Title not available (Why is that?)
This page was built for software: CoALP
