Thomas Powell

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 5

Top Topics

Monadic Second Order Logic

Quantifier Free

Closure Operator

Top Venues

Publications

Thomas Powell
Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language. Log. Methods Comput. Sci. 20 (1) (2024)
Thomas Powell
Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language. CoRR (2023)
Morenikeji Neri, Thomas Powell
A computational study of a class of recursive inequalities. J. Log. Anal. 15 (2023)
Aiden Hoyle, Thomas Powell, Beatrice Cadet, Judith van de Kuijt
Influence Pathways: Mapping the Narratives and Psychological Effects of Russian COVID-19 Disinformation. CSR (2021)
Meredith N. Zozus, Anita Walden, Marcia Byers, Thomas Powell, Pei Wang, Maryam Y. Garza, Guilherme Del Fiol, Jessica D. Tenenbaum, Matthew Nix, Carl F. Pieper
Assessing the Quality of Electronic Health Record Data and Patient Self-Report Data. ICIQ (2017)