Author:
Lima Guilherme,Rademaker Alexandre,Uceda-Sosa Rosario
Publisher
Springer Nature Switzerland
Reference33 articles.
1. Andrews, P.B.: An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof, 2nd edn. Kluwer, Dordrecht (2002). https://doi.org/10.1007/978-94-015-9934-4
2. Lecture Notes in Computer Science;R Angles,2008
3. Austin, E.C.: HaskHOL: a Haskell hosted domain specific language for higher-order logic theorem proving. Master’s thesis, Electrical Engineering and Computer Science Faculty, University of Kansas (2011)
4. Aydemir, B., Charguéraud, A., Pierce, B.C., Pollack, R., Weirich, S.: Engineering formal metatheory. In: Proceedings of 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL ’08, pp. 3–15. ACM, New York (2008). https://doi.org/10.1145/1328438.1328443
5. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation and Applications, 2nd edn. Cambridge University Press, Cambridge (2007)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献