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
On Paraconsistent Weakening of Intuitionistic Negation
On Partially Additive Kleene Algebras
On Probabilistic Alternating Simulations
On Probabilistic Parallel Programs with Process Creation and Synchronisation
On Reachability for Hybrid Automata over Bounded Time
On Recognizable Languages of Infinite Pictures
On relating CTL to Datalog
On Relaxing Metric Information in Linear Temporal Logic
On Second-Order Monadic Monoidal and Groupoidal Quantifiers
On Semantic Generalizations of the Bernays-Schönfinkel-Ramsey Class with Finite or Co-finite Spectra