On the Construction of Analytic Sequent Calculi for Sub
On the computational content of intuitionistic propositional proofs
On the Complexity of the Equational Theory of Relational Action
On the Complexity of Resolution-based Proof Systems
on the Complexity of Quantifier-Free Fixed-Size Bit-Vector
On the Complexity of Qualitative Spatial Reasoning: A Maximal
On the complexity of perfect models of logic programs 1
On the Complexity of Linking Deductive and Abstract Argument
On the complexity of division and set joins in the
On the Characteristic Functions of Fuzzy Systems 1 Introduction 2
On Solving Boolean Combinations of UTVPI Constraints
On Sets of Premises - Matematički Institut SANU
On Rosser sentences and proof predicates
On Ramsey`s Theorem for Pairs
On Quantified Linear Implications
On Provability Logic
On Provability Logic
On Probability of First Order Formulas in a Given Model
ON PRESERVING 1. Introduction The
On presenting monotonicity and on EA=>AE (pdf file)
