Integrating Automated and Interactive Theorem Proving in Type Theory. (2010)

First Author: Kanso K
Attributed to:  Theory And Applications of Induction Recursion funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://www.cs.swan.ac.uk/~csetzer/articles/kansoSetzerAvocs2010.pdf

Type: Conference/Paper/Proceeding/Abstract

Parent Publication: Proceedings of AVOCS 2010