Rob Arthan

22 papers B 3Journal 15Unranked 3
YearRankTypeTitle / Venue / Authors
2021 J jnl
Double Negation Semantics for Generalisations of Heyting Algebras.
Stud Logica
Rob Arthan, Paulo Oliva
2021 J jnl
On the Borel-Cantelli Lemmas, the Erdős-Rényi Theorem, and the Kochen-Stone Theorem.
J. Log. Anal.
Rob Arthan, Paulo Oliva
2019 J jnl
Negative Translations for Affine and Lukasiewicz Logic.
CoRR
Rob Arthan, Paulo Oliva
2019 J jnl
Studying Algebraic Structures using Prover9 and Mace4.
CoRR
Rob Arthan, Paulo Oliva
2018 J jnl
A Curry-Howard Correspondence for the Minimal Fragment of Łukasiewicz Logic.
CoRR
Rob Arthan, Paulo Oliva
2016 J jnl
On Definitions of Constants and Types in HOL.
J. Autom. Reason.
Rob Arthan
2016 J jnl
Self-Formalisation of Higher-Order Logic - Semantics, Soundness, and a Verified Implementation.
J. Autom. Reason.
Ramana Kumar, Rob Arthan, Magnus O. Myreen, Scott Owens
2016 J jnl
Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC.
J. Formaliz. Reason.
Yuhui Lin, Gudmund Grov, Rob Arthan
2016 J jnl
Understanding and maintaining tactics graphically OR how we learned that a diagram can be worth more than 10K LoC.
CoRR
Yuhui Lin, Gudmund Grov, Rob Arthan
2014 B conf
HOL Constant Definition Done Right.
ITP
Rob Arthan
2014 B conf
HOL with Definitions: Semantics, Soundness, and a Verified Implementation.
ITP
Ramana Kumar, Rob Arthan, Magnus O. Myreen, Scott Owens
2014 J jnl
On Affine Logic and Łukasiewicz Logic.
CoRR
Rob Arthan, Paulo Oliva
2014 J jnl
On Pocrims and Hoops.
CoRR
Rob Arthan, Paulo Oliva
2013 — conf
(Dual) Hoops Have Unique Halving.
Automated Reasoning and Mathematics
Rob Arthan, Paulo Oliva
2013 J jnl
A Hoare logic for linear systems.
Formal Aspects Comput.
Rob Arthan, Ursula Martin, Paulo Oliva
2012 J jnl
(Dual) Hoops Have Unique Halving
CoRR
Rob Arthan, Paulo Oliva
2011 B conf
The 1st Verified Software Competition: Experience Report.
FM
Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Weiß
2009 J jnl
A general framework for sound and complete Floyd-Hoare logics.
ACM Trans. Comput. Log.
Rob Arthan, Ursula Martin, Erik Arne Mathiesen, Paulo Oliva
2009 — conf
Computational Logic and Continuous Mathematics, Pure and Applied.
Calculemus/MKM
Rob Arthan
2008 J jnl
A General Framework for Sound and Complete Floyd-Hoare Logics
CoRR
Rob Arthan, Ursula Martin, Erik Arne Mathiesen, Paulo Oliva
2008 — conf
Mechanized Reasoning for Continuous Problem Domains (Invited Talk).
PAAR/ESHOL
Rob Arthan
2006 — ch.
HOL.
The Seventeen Provers of the World
John Harrison, Konrad Slind, Rob Arthan