Cs-Lo
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
Real Islamic Logic
State Space Reduction in the Maude-NRL Protocol Analyzer
Around Dot-depth One
Extensional and Intensional Strategies
Equilibrium and Termination
Better algorithms for satisfiability problems for formulas of bounded rank-width
Introduction to clarithmetic III
Computing the speed of convergence of ergodic averages and pseudorandom points in computable dynamical systems
Max-Flow Min-Cut Theorems for Multi-User Communication Networks
Nominal Unification Revisited
A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-Calculus
Hierarchical states in the Compositional Interchange Format
The degree structure of Weihrauch-reducibility
The Decidability Frontier for Probabilistic Automata on Infinite Words
Behavioral subtyping through typed assertions
Loops under Strategies ... Continued
Probabilistic Dynamic Logic of Phenomena and Cognition
Finding of k in Fagins R. Theorem 24
