Publications

Declan Thompson (2023). Execution trace sets for real computation. Theoretical Computer Science.

Cite Project DOI

Declan Thompson (2021). Computable Execution Traces. Logic, Language, Information, and Computation.

Cite Project DOI

Declan Thompson (2020). Local Fact Change Logic. Knowledge, Proof and Dynamics.

Cite Project DOI

Declan Thompson, Jeremy Seligman (2017). Teaching Natural Deduction in the Right Order with Natural Deduction Planner. IfCoLog Journal of Logics and their Applications.

Cite

Cristian S. Calude, Declan Thompson (2016). Incompleteness, Undecidability and Automated Proofs. Computer Algebra in Scientific Computing.

Cite

Declan Thompson (2015). The Running of the Booles: An Investigation into Boolean Network Games.

PDF Cite Project

Declan Thompson (2015). Formalisation vs. Understanding. Unconventional Computation and Natural Computation.

Cite

Jeremy Seligman, Declan Thompson (2015). Boolean Network Games and Iterated Boolean Games. Logic, Rationality, and Interaction.

Cite Project DOI