Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. A. Armando, S. Ranise, and M. Rusinowitch, “Uniform derivation of superposition based decision procedures,” Proc. Computer Science in Logic (CSL’01), 2001.
2. C.W. Barrett, D.L. Dill and J. Levitt, “Validity checking for combinations of theories with equality,” Proc. Formal Methods in Computer-Aided Design (eds. Srivas and Camilleri), LNAI, Nov. 1996, 187–201.
3. C.W. Barrett, D.L. Dill and A. Stump, “A framework for cooperating decision procedures,” Proc. CADE-17 (ed. Mcallester), LNAI 1831, Pittsburgh, June 2000.
4. N.S. Bjorner, Integrating Decision Procedures for Temporal Verification. Ph.D. Dissertation, Dept. of Computer Science, Stanford University, CA, Nov. 1998.
5. D. Cyrluk, P. Lincoln, and N. Shankar, “On Shostak’s decision procedures for combination of theories,” Proc. Automated Deduction-CADE 13, LNAI 1104 (eds. McRobbie and Slaney), Springer Verlag (1996), 463–477.
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Strategies for combining decision procedures;Theoretical Computer Science;2006-03
2. Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn;Theoretical Aspects of Computing - ICTAC 2004;2005
3. Linear and Nonlinear Arithmetic in ACL2;Lecture Notes in Computer Science;2003
4. Combining Decision Procedures;Formal Methods at the Crossroads. From Panacea to Foundational Support;2003
5. Canonization for Disjoint Unions of Theories;Automated Deduction – CADE-19;2003