On the Hybrid Extension of CTL and CTL+
On the implementation of construction functions for non-free concrete data types
On the Implementation of Dynamic Patterns
On the Inertia of the Asynchronous Circuits
On the Invariance of the Unitary Cost Model for Head Reduction (Long Version)
On the Length of the Wadge Hierarchy of Omega Context Free Languages
On the logical definability of certain graph and poset languages
On the mathematical synthesis of equational logics
On the meaning of logical completeness
On the Parameterised Intractability of Monadic Second-Order Logic
On the Parameterized Intractability of Monadic Second-Order Logic
On the problem of computing the well-founded semantics
On the Refinement of Liveness Properties of Distributed Systems
On the relation between Differential Privacy and Quantitative Information Flow
On the relation between size-based termination and semantic labelling
On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction
On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases
On the strength of proof-irrelevant type theories
On the Theory of Structural Subtyping
On the Topological Complexity of Infinitary Rational Relations