Declan Thompson

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 4

Top Topics

Execution Traces

Leader Follower

Top Venues

Publications

Declan Thompson
Execution trace sets for real computation. Theor. Comput. Sci. 940 (Part) (2023)
Declan Thompson
Computable Execution Traces. WoLLIC (2021)
Declan Thompson, Jeremy Seligman
Teaching Natural Deduction in the Right Order with Natural Deduction Planner. FLAP 4 (1) (2017)
Cristian S. Calude, Declan Thompson
Incompleteness, Undecidability and Automated Proofs - (Invited Talk). CASC (2016)
Declan Thompson
Formalisation vs. Understanding - A Case Study in Isabelle. UCNC (2015)
Jeremy Seligman, Declan Thompson
Teaching natural deduction in the right order with Natural Deduction Planner. CoRR (2015)
Jeremy Seligman, Declan Thompson
Boolean Network Games and Iterated Boolean Games. LORI (2015)