Introduction to mathematical logic (3rd ed.)
Introduction to mathematical logic (3rd ed.)
Some Completeness Results in the Mathematical Theory of Computation
Journal of the ACM (JACM)
Verifying programs by algebraic and logical reduction
Proceedings of the international conference on Reliable software
A program verifier
Complexity and uniformity of elimination in Presburger arithmetic
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
A Decision Procedure for the Correctness of a Class of Programs
Journal of the ACM (JACM)
Verification of Array, Record, and Pointer Operations in Pascal
ACM Transactions on Programming Languages and Systems (TOPLAS)
Decision procedures for extensions of the theory of arrays
Annals of Mathematics and Artificial Intelligence
A Logic of Singly Indexed Arrays
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Deciding Extensions of the Theories of Vectors and Bags
VMCAI '09 Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation
What else is decidable about integer arrays?
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
The complexity of reversal-bounded model-checking
FroCoS'11 Proceedings of the 8th international conference on Frontiers of combining systems
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
An analysis of permutations in arrays
VMCAI'10 Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation
On array theory of bounded elements
CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
What's decidable about arrays?
VMCAI'06 Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation
Array Theory of Bounded Elements and its Applications
Journal of Automated Reasoning
Hi-index | 0.00 |