Author:
Baader Franz,Kapur Deepak
Publisher
Springer International Publishing
Reference18 articles.
1. Baader, F., et al.: An Introduction to Description Logic. Cambridge University Press, Cambridge (2017)
2. Baader, F., Kapur, D.: Deciding the word problem for ground identities with commutative and extensional symbols. LTCS-Report 20-02, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, Dresden (2020).
https://tu-dresden.de/inf/lat/reports#BaKa-LTCS-20-02
3. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1998)
4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);L Bachmair,2000
5. Downey, P., Sethi, R., Tarjan, R.E.: Variations on the common subexpression problem. J. ACM 27(4), 758–771 (1980)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献