On the Undecidability of Fuzzy Description Logics with GCIs with Lukasiewicz t-norm
On the Unification of Process Semantics: Logical Semantics
On the word problem for SP-categories, and the properties of two-way communication
On timed automata with input-determined guards
On using floating-point computations to help an exact linear arithmetic decision procedure
On Various Negative Translations
On Winning Conditions of High Borel Complexity in Pushdown Games
One useful logic that defines its own truth
Open Bisimulation for Quantum Processes
Open Graphs and Computational Reasoning
Optimal Placement of Valves in a Water Distribution Network with CLP(FD)
Optimal Tableau Decision Procedures for PDL
Optimally Solving the MCM Problem Using Pseudo-Boolean Satisfiability
Optimization of Bound Disjunctive Queries with Constraints
Optimizing Optimal Reduction: A Type Inference Algorithm for Elementary Affine Logic
Order algebras: a quantitative model of interaction
Order-consistent programs are cautiously monotonic
Order-Invariant MSO is Stronger than Counting MSO in the Finite
Ordered Counter-Abstraction
Ordering-based Representations of Rational Inference