Author:
Baader Franz,Tinelli Cesare
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Baader, F., Narendran, P.: Unification of concept terms in description logics. In: Prade, H. (ed.) Proc. of ECAI 1998, pp. 331–335. John Wiley & Sons Ltd., Chichester (1998)
2. Baader, F., Schulz, K.U.: Combination of constraint solvers for free and quasi-free structures. Theoretical Computer Science 192, 107–161 (1998)
3. Baader, F., Tinelli, C.: Combining equational theories sharing non-collapse-free constructors. TR 99-13, Dept. of Computer Science, University of Iowa (1999)
4. Baader, F., Tinelli, C.: Deciding the word problem in the union of equational theories sharing constructors. In: Narendran, P., Rusinowitch, M. (eds.) RTA 1999. LNCS, vol. 1631, pp. 175–189. Springer, Heidelberg (1999);
5. Longer version available as TR UIUCDCS-R-98-2073, Dept. of Computer Science, University of Illinois at Urbana-Champaign (1998)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献