Author:
Baader Franz,Tinelli Cesare
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference29 articles.
1. Baader, F, and, Nipkow, T. 1998, Term Rewriting and All That, Cambridge Univ. Press, Cambridge, UK.
2. Combination of constraint solvers for free and quasi-free structures;Baader;Theoret. Comput. Sci.,1998
3. 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, inProceedings of the 14th International Conference on Automated Deduction, Townsville, AustraliaW. McCune, Ed., Lecture Notes in Artificial Intelligence, Vol. 1249, pp. 19–33, Springer-Verlag, Berlin.
4. Baader, F, and, Tinelli, C. 1998, Deciding the Word Problem in the Union of Equational Theories, Technical Report UIUCDCS-R-98-2073, Department of Computer Science, University of Illinois at Urbana-Champaign.
5. Baader, F, and, Tinelli, C. 1999, Combining Equational Theories Sharing Non-Collapse-Free Constructors, Technical Report 99-13, Department of Computer Science, University of Iowa.
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献