Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming
From MaRDI portal
Publication:3067470
DOI10.1007/978-3-642-17796-5_7zbMath1308.68029OpenAlexW1584978202MaRDI QIDQ3067470
Guy McCusker, Ekaterina Komendantskaya, A. John Power
Publication date: 21 January 2011
Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-17796-5_7
Related Items (8)
Exploiting parallelism in coalgebraic logic programming ⋮ A game semantics for disjunctive logic programming ⋮ Unnamed Item ⋮ Semantical analysis of the logic of bunched implications ⋮ Unnamed Item ⋮ Logic programming: laxness and saturation ⋮ Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness ⋮ Universal Constructions for (Co)Relations: categories, monoidal categories, and props
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves
- Declarative modeling of the operational behavior of logic languages
- On the algebraic structure of declarative programming languages
- Parallel complexity of logical query programs
- A theory of observables for logic programs
- Observable behaviors and equivalences of logic programs
- Relating Coalgebraic Notions of Bisimulation
- Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness
- Coinductive Logic Programming and Its Applications
- Type Inference by Coinductive Logic Programming
- A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
- An interactive semantics of logic programming
- On Greatest Fixpoint Semantics of Logic Programming
- Co-Logic Programming: Extending Logic Programming with Coinduction
This page was built for publication: Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming
