Cs-Lo
On Bisimulations for Description Logics
TRX: A Formally Verified Parser Interpreter
Solving Functional Constraints by Variable Substitution
Ultrametric and Generalized Ultrametric in Computational Logic and in Data Analysis
Termination Proofs in the Dependency Pair Framework May Induce Multiple Recursive Derivational Complexity
Binary Sequent Calculi for Truth-invariance Entailment of Finite Many-valued Logics
Scope Logic with Local Reasoning and Pre/Post-State Properties
Courcelles Theorem - A Game-Theoretic Approach
The Cardinality of an Oracle in Blum-Shub-Smale Computation
Efficient Implementation of Rewriting Revisited Technical Report
Fixed-Point Definability and Polynomial Time on Chordal Graphs and Line Graphs
Three qubit entanglement within graphical Z/X-calculus
Generic Traces and Constraints, GenTra4CP revisited
The Question of Expressiveness in the Generation of Referring Expressions
Playing Muller Games in a Hurry
Extended Computation Tree Logic
Linear Dependent Types and Relative Completeness
Superposition as a logical glue
Testing Reactive Probabilistic Processes
The Complexity of Satisfiability for Sub-Boolean Fragments of ALC
A Saturation Method for the Modal Mu-Calculus with Backwards Modalities over Pushdown Systems
Categorical Tensor Network States
