Author:
Le Xuan-Bach,Hobor Aquinas,Lin Anthony W.
Publisher
Springer International Publishing
Reference38 articles.
1. Lecture Notes in Computer Science;PA Abdulla,2010
2. Appel, A.W., et al.: Program Logics for Certified Compilers. Cambridge University Press, Cambridge (2014)
3. Appel, A.W., Dockins, R., Hobor, A.: Mechanized semantic library (2009)
4. Berman, L.: The complexity of logical theories. Theor. Comput. Sci. 11(1), 71–77 (1980)
5. Blumensath, A.: Automatic structures. Ph.D. thesis, RWTH Aachen (1999)