Cs-Lo
Some Problems in Automata Theory Which Depend on the Models of Set Theory
Proof System for Plan Verification under 0-Approximation Semantics
Applying Algebraic Specifications on Digital Right Management Systems
RedAlert: Determinacy Inference for Prolog
Abstract Diagnosis for Timed Concurrent Constraint programs
Drawing Sound Conclusions from Unsound Premises
aspcud: A Linux Package Configuration Tool Based on Answer Set Programming
AIG Rewriting Using 5-Input Cuts
A type checking algorithm for qualified session types
Regular Expression Matching and Operational Semantics
Debugging of Web Applications with Web-TLR
Formal Component-Based Semantics
Brane Calculi Systems: A Static Preview of their Possible Behaviour
A Logic with Reverse Modalities for History-preserving Bisimulations
Quasi-Polish Spaces
Proving programs terminate using well orderings, Ramsey Theory, and Matrices
Graphical representation of covariant-contravariant modal formulae
Equilibria und weiteres Heiteres II
On the Unification of Process Semantics: Logical Semantics
A Verified Algebra for Linked Data
A Testing Framework for P Systems
Mean-payoff Automaton Expressions
