Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Michael Kinyon

Proof Simplification and Automated Theorem Proving

Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences

English