Author:
Krstić Sava,Conchon Sylvain
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, United Kingdom (1998)
2. Baader, F., Tinelli, C.: Deciding the word problem in the union of equational theories. Information and Computation 178, 346–390 (2002)
3. Barrett, C.: Checking Validity of Quantifier-free formulas in Combinations of First- Order Theories. PhD thesis, Stanford University (2002)
4. Lecture Notes in Computer Science;C. Barrett,1996
5. Lecture Notes in Artificial Intelligence;C.W. Barrett,2002
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Strategies for combining decision procedures;Theoretical Computer Science;2006-03
2. Functional Equations in Shostak Theories;Computer Science – Theory and Applications;2006
3. Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn;Theoretical Aspects of Computing - ICTAC 2004;2005
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