André Rognes
Contact
I read mail sent to andrerog ađ ifi uio no.
Publications
2009
A. Rognes. "Turning decision procedures into disprovers"
Mathematical Logic Quarterly, vol. 55, Issue 1, p. 87-104
DOI: 10.1002/malq.200710083
Online: here
Preprint: here
Implemented software: here
Thesis
On the methods of mechanical non-theorems (latest version)
On the methods of mechanical non-theorems (march 2012 version)
Hobby
Science podcasts