Declan Thompson

According to our database, Declan Thompson authored at least 6 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2023

Execution trace sets for real computation.

Declan Thompson

Theor. Comput. Sci., 2023

2021

Computable Execution Traces.

Declan Thompson

Proceedings of the Logic, Language, Information, and Computation, 2021

2017

Teaching Natural Deduction in the Right Order with Natural Deduction Planner.

Declan Thompson, Jeremy Seligman

FLAP, 2017

2016

Incompleteness, Undecidability and Automated Proofs - (Invited Talk).

Cristian S. Calude, Declan Thompson

Proceedings of the Computer Algebra in Scientific Computing - 18th International Workshop, 2016

2015

Formalisation vs. Understanding - A Case Study in Isabelle.

Declan Thompson

Proceedings of the Unconventional Computation and Natural Computation, 2015

Boolean Network Games and Iterated Boolean Games.

Jeremy Seligman, Declan Thompson

Proceedings of the Logic, Rationality, and Interaction - 5th International Workshop, 2015