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
On the Complexity of Deciding Call-by-Need
On the complexity of finding narrow proofs
On the Complexity of Finding Second-Best Abductive Explanations
On the complexity of identifying Head Elementary Set Free programs
On the Complexity of the Numerically Definite Syllogistic and Related Fragments
On the computational complexity of cut-reduction
On the confluence of lambda-calculus with conditional rewriting
On the contribution of backward jumps to instruction sequence expressiveness
On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics
On the decidability and complexity of Metric Temporal Logic over finite words