Author:
Baader Franz,Beckert Bernhard,Nipkow Tobias
Publisher
Springer Science and Business Media LLC
Subject
Computer Science Applications,Information Systems
Reference41 articles.
1. Alkassar E, Hillebrand M, Leinenbach D, Schirmer N, Starostin A (2008) The Verisoft approach to systems verification. In: Shankar N, Woodcock J (eds) Verified Software: Theories, Tools, Experiments (VSTTE 2008), vol 5295 of LNCS. Springer, pp 209–224
2. Appel K, Haken W (1976) Every planar map is four colorable. Bull AMS 82:711–712
3. Baader F, Nipkow T (1998) Term Rewriting and All That. Cambridge University Press, Cambridge, UK
4. Baader F, Sattler U (2001) An overview of tableau algorithms for description logics. Stud Logica 69:5–40
5. Baader F, Calvanese D, McGuinness D, Nardi D, Patel-Schneider PF (eds) (2003) The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge, UK
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献