Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
Verifying Temporal Properties of Reactive Systems: A STeP Tutorial
Formal Methods in System Design
A DPLL-Based Calculus for Ground Satisfiability Modulo Theories
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Automated Theorem Proving in a Combination of Theories with Disjoint Signatures
SOFSEM '98 Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
A New Fast Tableau-Based Decision Procedure for an Unquantified Fragment of Set Theory
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
Constraint contextual rewriting
Journal of Symbolic Computation - Special issue: First order theorem proving
Decision procedures for extensions of the theory of arrays
Annals of Mathematics and Artificial Intelligence
| Hi-index | 0.00 |