Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference34 articles.
1. Armando, A., Ranise, S. and Rusinowitch, M. (2001) Uniform derivation of superposition based decision procedures, in L. Fribourg (ed.), Proc. of the Annual Conf. on Computer Science Logic (CSL-01), Paris, France, pp. 513?527.
2. Baader, F. and Nipkow, T. (1998) Term Rewriting and All That, Cambridge University Press.
3. Baader, F., Ghilardi, S. and Tinelli, C. (2004) A new combination procedure for the word problem that generalizes fusion decidability in modal logic, in Proc. of the Second Int. Joint Conf. on Automated Reasoning (IJCAR-04), LNAI, Springer, pp. 183?197. Extended version available at http://www.cs.uiowa.edu/~tinelli/html/papers.html as Technical Report No. 03-03, Department of Computer Science, The University of Iowa.
4. Baader, F. and Tinelli, C. (1997) A new approach for combining decision procedures for the word problem, and its connection to the Nelson?Oppen combination method, in W. McCune (ed.), Proc. of the 14th Int. Conf. on Automated Deduction (CADE-14), LNCS 1249, Springer, pp. 19?33.
5. Baader, F. and Tinelli, C. (2002a) Deciding the word problem in the union of equational theories, Inform. and Comput. 178(2), 346?390.
Cited by
60 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献