Author:
Iancu Mihnea,Kohlhase Michael
Publisher
Springer International Publishing
Reference19 articles.
1. Lecture Notes in Computer Science;J Carette,2014
2. Lecture Notes in Computer Science;M Codescu,2011
3. FlatSearch Demo.
http://cds.omdoc.org:8181/search.html
(Accessed on 23 April 2015)
4. Harper, R., Honsell, F., Plotkin, G.: A framework for defining logics. J. Assoc. Comput. Mach. 40(1), 143–184 (1993)
5. Iancu, M., et al.: The Mizar mathematical library in OMDoc: translation and applications. J. Autom. Reasoning 50(2), 191–202 (2013)