Journal of Computer and System Sciences
Computable set theory
A decidable fragment of the elementary theory of relations and some applications
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
Journal of Automated Reasoning - Special issue on new trends in automated reasoning
On the satisfiability problem for unquantified classes of formulae involving set-theoretical and topological constructs
Decision Problems for Tarski and Presburger Arithmetics Extended With Sets
CSL '90 Proceedings of the 4th Workshop on Computer Science Logic
Fundamenta Informaticae - Special Issue on the Italian Conference on Computational Logic: CILC 2011
Hi-index | 0.00 |