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-100

Subject Categories

Computer and Information Science

More information

Created

10/10/2017