Cs-Lo
Towards an embedding of Graph Transformation in Intuitionistic Linear Logic
Decidability properties for fragments of CHR
Comparison of PBO solvers in a dependency solving domain
A theory of desynchronisable closed loop system
Loop Formulas for Description Logic Programs
Automated Termination Analysis for Logic Programs with Cut
The Isomorphism Relation Between Tree-Automatic Structures
Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability
Detecting Inconsistencies in Large Biological Networks with Answer Set Programming
An Improved Tight Closure Algorithm for Integer Octagonal Constraints
GIST: A Solver for Probabilistic Games
Completeness of Flat Coalgebraic Fixpoint Logics
Interactive Realizers and Monads
Primitives for Contract-based Synchronization
Ranking Functions for Size-Change Termination II
A Framework to Handle Linear Temporal Properties in (omega-)Regular Model Checking
Alpaga: A Tool for Solving Parity Games with Imperfect Information
Safe Recursion on Notation into a Light Logic by Levels
Interactive Learning-Based Realizability for Heyting Arithmetic with EM1
Simulation-Checking of Real-Time Systems with Fairness Assumptions
FO(FD): Extending classical logic with rule-based fixpoint definitions
Kolmogorov Complexity in perspective. Part I: Information Theory and Randomnes
