Author:
Zohar Yoni,Tishkovsky Dmitry,Schmidt Renate A.,Zamansky Anna
Publisher
Springer International Publishing
Reference68 articles.
1. Abate, P., Goré, R.: The tableau workbench. Electron. Notes Theor. Comput. Sci. 231, 55–67 (2009)
2. Aitken, S., Melham, T.: An analysis of errors in interactive proof attempts. Interact. Comput. 12(6), 565–586 (2000)
3. Areces, C.E.: Logic engineering: the case of description and hybrid logics. Ph.D. thesis, University of Amsterdam (2000)
4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);A Asperti,2010
5. Avron, A.: Simple consequence relations. Inf. Comput. 92(1), 105–139 (1991)