Newman s lemma - a case study in proof automation and geometric logic, Logic in Computer Science Column

Marc Bezem, Thierry Coquand. Newman s lemma - a case study in proof automation and geometric logic, Logic in Computer Science Column. Bulletin of the EATCS, 79:86-100, 2003.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.