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)
On perturbations of continuous structures - HAL
ON PERTURBATIONS OF CONTINUOUS STRUCTURES
