Declan Thompson

All Publications

• Incompleteness, Undecidability and Automated Proofs (Invited Talk) Calude, C. S., Thompson, D., Gerdt, V. P., Koepf, W., Seiler, W. M., Vorozhtsov, E. V. SPRINGER INTERNATIONAL PUBLISHING AG. 2016: 134-155

  View details for DOI 10.1007/978-3-319-45641-6_10

  View details for Web of Science ID 000387957100010