Author:
Autexier Serge,Hutter Dieter
Publisher
Springer International Publishing
Reference10 articles.
1. Autexier, S., Hutter, D.: Mind the gap - maintaining formal developments in MAYA. In: Siekmann, J.H. (ed.) LNCS 2605. Springer, Heidelberg (2005)
2. Frisch, A.M., David Page Jr., C.: Generalization with taxonomic information. In: 8th National Conference on Artificial Intelligence, pp. 775–761. AAAI-Press (1990)
3. Lecture Notes in Computer Science;T Gauthier,2014
4. Goguen, J.A., Burstall, R.M.: Institutions: abstract model theory for specification and programming. J. Assoc. Comput. Mach. 39(221–256), 95–146 (1992). Predecessor in: LNCS 164(221–256) (1984)
5. Hutter, D.: Management of change in verification systems. In: Proceedings 15th IEEE International Conference on Automated Software Engineering, ASE-2000, pp. 23–34. IEEE Computer Society (2000)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Cloud Based Smart Living System Prototype;Ambient Assisted Living and Enhanced Living Environments;2017
2. Tree-Structure CNN for Automated Theorem Proving;Neural Information Processing;2017
3. Sharing HOL4 and HOL Light Proof Knowledge;Logic for Programming, Artificial Intelligence, and Reasoning;2015