CoALP

swMATH16105MaRDI QIDQ27977FDOQ27977

Author name not available (Why is that?)

Described by source

• Exploiting parallelism in coalgebraic logic programming
• Coalgebraic logic programming: from Semantics to Implementation

Cited In (21)

• 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
• Bialgebraic Semantics for Logic Programming
• Universal Constructions for (Co)Relations: categories, monoidal categories, and props
• Enhancing expressivity of checked corecursive streams
• A Type-Theoretic Approach to Resolution
• Productive corecursion in 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?)
• Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness
• Coalgebraic derivations in logic programming
• Title not available (Why is that?)
• Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming
• Coalgebraic Semantics for Derivations in Logic Programming
• Constraint logic programming with a relational machine
• A coinductive approach to proof search through typed lambda-calculi
• Title not available (Why is that?)

This page was built for software: CoALP