Request a copy of the file
Enter the following information to request a copy for the following item: A Formalisation of Finite Automata Using Hereditarily Finite Sets
Requesting the following file: Paulson 2015 International Conference on Automated Deduction.pdf
In order to submit the request you must accept the Request a copy (Google reCaptcha) cookies.