On completeness of reducibility candidates as a semantics of strong normalization
On Constructive Connectives and Systems
On convergence-sensitive bisimulation and the embedding of CCS in timed CCS
On counting untyped lambda terms
On CSP and the Algebraic Theory of Effects
On Decidability of Expressive Description Logics with Composition of Roles in Number Restrictions
On Decidability Properties of Local Sentences
On Decidability Properties of One-Dimensional Cellular Automata
On Decidable Growth-Rate Properties of Imperative Programs
On Distributed Model Checking of MSO on Graphs
On Equivalence and Canonical Forms in the LF Type Theory
On expressive power and class invariance
On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality and Deterministic Freezing
On factorisation forests
On Finite Bases for Weak Semantics: Failures versus Impossible Futures
On FO2 quantifier alternation over words
On Graph Refutation for Relational Inclusions
On ground word problem of term equation systems
On Hoare-McCarthy algebras
On Infinitary Rational Relations and Borel Sets