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
On Infinite Real Trace Rational Languages of Maximum Topological Complexity
On Irrelevance and Algorithmic Equality in Predicative Type Theory
On Linear Information Systems
On Logical Extension of Algebraic Division
On Modal Logics of Partial Recursive Functions
On Modal μ-Calculus over Finite Graphs with Bounded Strongly Connected Components
On model checking data-independent systems with arrays without reset
On Modular Termination Proofs of General Logic Programs
On Omega Context Free Languages which are Borel Sets of Infinite Rank
On P-transitive graphs and applications