Newman's lemma - a case study in proof automation and geometric logic
Journal article, 2003
Author
Marc Bezem
Thierry Coquand
University of Gothenburg
Bulletin of the European Association for Theoretical Computer Science
0252-9742 (ISSN)
Vol. 79 86-100Subject Categories
Computer and Information Science