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)

• 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
• Enhancing expressivity of checked corecursive streams
• Productive corecursion in logic programming
• 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