Login / Signup
Ciarán Dunne
ORCID
Publication Activity (10 Years)
Years Active: 2020-2022
Publications (10 Years): 5
Top Topics
Formal Proof
Theorem Prover
Rough Sets
Mobile Robot
Top Venues
CICM
CoRR
</>
Publications
</>
Ciarán Dunne
,
J. B. Wells
Isabelle/HOL/GST: A Formal Proof Environment for Generalized Set Theories.
CoRR
(2022)
Ciarán Dunne
,
J. B. Wells
Isabelle/HOL/GST: A Formal Proof Environment for Generalized Set Theories.
CICM
(2022)
Ciarán Dunne
,
J. B. Wells
,
Fairouz Kamareddine
Generating Custom Set Theories with Non-set Structured Objects.
CICM
(2021)
Ciarán Dunne
,
J. B. Wells
,
Fairouz Kamareddine
Adding an Abstraction Barrier to ZF Set Theory.
CoRR
(2020)
Ciarán Dunne
,
J. B. Wells
,
Fairouz Kamareddine
Adding an Abstraction Barrier to ZF Set Theory.
CICM
(2020)