Cs-Lo
Intensionality and Two-steps Interpretations
Abstract Processes of Place/Transition Systems
A New Representation Theorem for Many-valued Modal Logics
Causality and the Semantics of Provenance
Generating and Searching Families of FFT Algorithms
Reducing Fuzzy Answer Set Programming to Model Finding in Fuzzy Logics
On the CNF encoding of cardinality constraints and beyond
Complexity Classifications for Propositional Abduction in Posts Framework
Automatic Music Composition using Answer Set Programming
Typed Operational Semantics for Dependent Record Types
Separating Bounded Arithmetics by Herbrand Consistency
Logical Step-Indexed Logical Relations
Lets Make a Difference!
A Foundational View on Integration Problems
Functional Interpretations of Intuitionistic Linear Logic
Symbolic and Asynchronous Semantics via Normalized Coalgebras
Logical, Metric, and Algorithmic Characterisations of Probabilistic Bisimulation
The GHZ/W-calculus contains rational arithmetic
Computing Optimal Coverability Costs in Priced Timed Petri Nets
Lower Bounds for the Complexity of Monadic Second-Order Logic
Automated Synthesis of Tableau Calculi
Probabilistic Model-Based Safety Analysis
