Author:
Armando Alessandro,Ranise Silvio,Rusinowitch Michaël
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. A. Armando and S. Ranise. A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic. J. of Universal Computer Science, 7(2):124–140, February 2001.
2. L. Bachmair and H. Ganzinger. Rewrite-based equational theorem proving with selection and simplification. J. of Logic and Comp., 4(3):217–247, 1994.
3. Lect Notes Comput Sci;L. Bachmair,2000
4. L. Bachmair and A. Tiwari. Abstract congruence closure and specializations. In D. A. McAllester, editor, 17th CADE, LNAI 1831, pages 64–78, 2000.
5. Lect Notes Comput Sci;R. Caferra,1995
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献