Coalgebraic Semantics for Probabilistic Logic Programming

Subjects: “…Computer Science & IT…”
Get full text

Superposition for Lambda-Free Higher-Order Logic

Subjects: “…Computer Science & IT…”
Get full text

Reconfiguration and Message Losses in Parameterized Broadcast Networks

Subjects: “…Computer Science & IT…”
Get full text

Synthesis of Data Word Transducers

Subjects: “…Computer Science & IT…”
Get full text

Stubborn Set Reduction for Two-Player Reachability Games

Subjects: “…Computer Science & IT…”
Get full text

A Sound Algorithm for Asynchronous Session Subtyping and its Implementation

Subjects: “…Computer Science & IT…”
Get full text

Complete Call-by-Value Calculi of Control Operators II: Strong Termination

Subjects: “…Computer Science & IT…”
Get full text

Constructive Domains with Classical Witnesses

Subjects: “…Computer Science & IT…”
Get full text

Datatype defining rewrite systems for naturals and integers

Subjects: “…Computer Science & IT…”
Get full text

A Formal Proof of the Irrationality of $zeta(3)$

Subjects: “…Computer Science & IT…”
Get full text

Output-sensitive Information flow analysis

Subjects: “…Computer Science & IT…”
Get full text

The $pi$-Calculus is Behaviourally Complete and Orbit-Finitely Executable

Subjects: “…Computer Science & IT…”
Get full text

Convolution Algebras: Relational Convolution, Generalised Modalities and Incidence Algebras

Subjects: “…Computer Science & IT…”
Get full text

Axiomatization of betweenness in order-theoretic trees

Subjects: “…Computer Science & IT…”
Get full text

Robustness Against Transactional Causal Consistency

Subjects: “…Computer Science & IT…”
Get full text

Determinacy in Discrete-Bidding Infinite-Duration Games

Subjects: “…Computer Science & IT…”
Get full text

Computing Probabilistic Bisimilarity Distances for Probabilistic Automata

Subjects: “…Computer Science & IT…”
Get full text

Correct and Efficient Antichain Algorithms for Refinement Checking

Subjects: “…Computer Science & IT…”
Get full text

Solvability = Typability + Inhabitation

Subjects: “…Computer Science & IT…”
Get full text

Modal Logics for Nominal Transition Systems

Subjects: “…Computer Science & IT…”
Get full text