Local fact change logic D Thompson Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical …, 2020 | 17 | 2020 |
Boolean network games and iterated boolean games J Seligman, D Thompson International Workshop on Logic, Rationality and Interaction, 353-365, 2015 | 9 | 2015 |
Incompleteness, Undecidability and Automated Proofs: (Invited Talk) CS Calude, D Thompson Computer Algebra in Scientific Computing: 18th International Workshop, CASC …, 2016 | 7 | 2016 |
Formalisation vs. Understanding: A Case Study in Isabelle D Thompson Unconventional Computation and Natural Computation: 14th International …, 2015 | 3 | 2015 |
Teaching natural deduction in the right order with Natural Deduction Planner J Seligman, D Thompson arXiv preprint arXiv:1507.03681, 2015 | 2 | 2015 |
Computable execution traces D Thompson Logic, Language, Information, and Computation: 27th International Workshop …, 2021 | 1 | 2021 |
Execution trace sets for real computation D Thompson Theoretical Computer Science 940, 2-17, 2023 | | 2023 |
Algorithms and Execution Traces DAL Thompson Stanford University, 2023 | | 2023 |
Teaching natural deduction in the right order with Natural Deduction Planner D Thompson, J Seligman | | 2017 |
The Running of the Booles D Thompson School of Humanities The University of Auckland Supervisor: Jeremy Seligman …, 2015 | | 2015 |
Formalisation and Understanding. A Case Study in Isabelle D Thompson Department of Computer Science, The University of Auckland, New Zealand, 2014 | | 2014 |
Phil 356C Project: An Anti-sequent System for R A McDougal, B Sparkes, D Thompson | | |
Revealed Preference via Bayesian Inference B Sparkes, D Thompson | | |