Skip to content
<title>Channels - Coalgebraic Semantics for Probabilistic Logic Programming :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Coalgebraic Semantics for Probabilistic Logic Programming
Search for more channels:
Similar Items: Coalgebraic Semantics for Probabilistic Logic Programming
Channel Options
View Record
Explore related channels
Quick Look
Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems
Quick Look
Coalgebraic trace semantics via forgetful logics
Quick Look
Bialgebraic Semantics for Logic Programming
Quick Look
Strongly Complete Logics for Coalgebras
Quick Look
Positive fragments of coalgebraic logics
Quick Look
Moss' logic for ordered coalgebras
Quick Look
Symbolic and Asynchronous Semantics via Normalized Coalgebras
Quick Look
Coalgebraic Geometric Logic: Basic Theory
Quick Look
Extensional Semantics for Higher-Order Logic Programs with Negation
Quick Look
Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective
Quick Look
Linear-time logics -- a coalgebraic perspective
Quick Look
Quantitative Automata under Probabilistic Semantics
Quick Look
Model Theory and Proof Theory of Coalgebraic Predicate Logic
Quick Look
Many-valued coalgebraic logic over semi-primal varieties
Quick Look
Qualitative Logics and Equivalences for Probabilistic Systems
Quick Look
Probabilistic logics based on Riesz spaces
Quick Look
New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic
Quick Look
On the equivalence of game and denotational semantics for the probabilistic mu-calculus
Quick Look
A Probabilistic Higher-order Fixpoint Logic
Quick Look
On the Termination Problem for Probabilistic Higher-Order Recursive Programs
Quick Look
Model Checking Temporal Properties of Recursive Probabilistic Programs
Quick Look
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation
Quick Look
Game semantics for first-order logic
Quick Look
Bases as Coalgebras
Load more items
View Record
Prev
Explore related channels
Next
