We stand with Ukraine

We stand with Ukraine

Rob Arthan

According to our database¹, Rob Arthan authored at least 33 papers between 1988 and 2021.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of three.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2021

Double Negation Semantics for Generalisations of Heyting Algebras.

[BibT_eX]

[DOI]

,

Stud Logica, 2021

On the Borel-Cantelli Lemmas, the Erdős-Rényi Theorem, and the Kochen-Stone Theorem.

[BibT_eX]

[DOI]

,

J. Log. Anal., 2021

2019

Negative Translations for Affine and Lukasiewicz Logic.

[BibT_eX]

[DOI]

,

CoRR, 2019

Studying Algebraic Structures using Prover9 and Mace4.

[BibT_eX]

[DOI]

,

CoRR, 2019

2018

A Curry-Howard Correspondence for the Minimal Fragment of Łukasiewicz Logic.

[BibT_eX]

[DOI]

,

CoRR, 2018

2016

Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC.

[BibT_eX]

[DOI]

,

,

J. Formaliz. Reason., 2016

Self-Formalisation of Higher-Order Logic - Semantics, Soundness, and a Verified Implementation.

[BibT_eX]

[DOI]

,

,

Magnus O. Myreen

,

J. Autom. Reason., 2016

On Definitions of Constants and Types in HOL.

[BibT_eX]

[DOI]

J. Autom. Reason., 2016

Understanding and maintaining tactics graphically OR how we learned that a diagram can be worth more than 10K LoC.

[BibT_eX]

[DOI]

,

,

CoRR, 2016

2014

On Pocrims and Hoops.

[BibT_eX]

[DOI]

,

CoRR, 2014

On Affine Logic and Łukasiewicz Logic.

[BibT_eX]

[DOI]

,

CoRR, 2014

HOL with Definitions: Semantics, Soundness, and a Verified Implementation.

[BibT_eX]

[DOI]

,

,

Magnus O. Myreen

,

Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014

HOL Constant Definition Done Right.

[BibT_eX]

[DOI]

Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014

2013

A Hoare logic for linear systems.

[BibT_eX]

[DOI]

,

,

Formal Aspects Comput., 2013

(Dual) Hoops Have Unique Halving.

[BibT_eX]

[DOI]

,

Proceedings of the Automated Reasoning and Mathematics, 2013

2012

Aronszajn's Criterion for Euclidean Space.

[BibT_eX]

[DOI]

Am. Math. Mon., 2012

Some new results on decidability for elementary algebra and geometry.

[BibT_eX]

[DOI]

,

,

Ann. Pure Appl. Log., 2012

2011

The 1st Verified Software Competition: Experience Report.

[BibT_eX]

[DOI]

Proceedings of the FM 2011: Formal Methods, 2011

2010

Building a Library of Mechanized Mathematical Proofs: Why Do It? and What Is It Like to Do?

[BibT_eX]

[DOI]

Proceedings of the Mathematical Software, 2010

2009

A general framework for sound and complete Floyd-Hoare logics.

[BibT_eX]

[DOI]

,

,

Erik Arne Mathiesen

,

ACM Trans. Comput. Log., 2009

Computational Logic and Continuous Mathematics, Pure and Applied.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 2009

2008

Mechanized Reasoning for Continuous Problem Domains (Invited Talk).

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, 2008

2006

HOL.

[BibT_eX]

[DOI]

,

,

Proceedings of the Seventeen Provers of the World, Foreword by Dana S. Scott, 2006

A Verified Formal Model of a VC Generator.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006

2001

An Irrational Construction of R from Z.

[BibT_eX]

[DOI]

Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001

2000

Analysis of Compiled Code: A Prototype Formal Model.

[BibT_eX]

[DOI]

Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

ClawZ: Control Laws in Z.

[BibT_eX]

[DOI]

,

,

Colin O'Halloran

,

Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 2000

1998

Recursive Definitions in Z.

[BibT_eX]

[DOI]

Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998

1997

Using a Formal Specification Contractually.

[BibT_eX]

[DOI]

Colin O'Halloran

,

,

Formal Aspects Comput., 1997

1991

On Free Type Definitions in Z.

[BibT_eX]

Proceedings of the Z User Workshop, York, UK, 16-17 December 1991, Proceedings, 1991

A Report on ICL HOL.

[BibT_eX]

Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991

On Formal Specification of a Proof Tool.

[BibT_eX]

[DOI]

Proceedings of the VDM '91, 1991

1988

Compiler Prototyping with VDM and Standard ML.

[BibT_eX]

[DOI]

Proceedings of the VDM '88, 1988

Loading...