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
On Solving Boolean Multilevel Optimization Problems
On Some Manipulations with Fuzzy Processes
On Spatial Conjunction as Second-Order Logic
On stratified regions
On Synchronous and Asynchronous Interaction in Distributed Systems
On Term Rewriting Systems Having a Rational Derivation
On the (semi)lattices induced by continuous reducibilities
On the Axiomatisation of Boolean Categories with and without Medial
On the Complexity of Branching-Time Logics
On the Complexity of Computing Minimal Unsatisfiable LTL formulas