Edit Profile (opens in new tab) Arthan, Rob D. Compute Distance To: Compute Author ID: arthan.rob-d Published as: Arthan, Rob; Arthan, Rob D. External Links: MGP Documents Indexed: 17 Publications since 1982 Co-Authors: 8 Co-Authors with 8 Joint Publications 99 Co-Co-Authors all top 5 Co-Authors 7 single-authored 5 Oliva, Paulo 2 Kumar, Ramana 2 Martin, Ursula 2 Myreen, Magnus O. 2 Owens, Scott 1 Bullett, Shaun R. 1 Grov, Gudmund 1 Lin, Yuhui 1 Mathiesen, Erik A. 1 Solovay, Robert M. all top 5 Serials 2 Journal of Automated Reasoning 1 American Mathematical Monthly 1 Mathematical Proceedings of the Cambridge Philosophical Society 1 Journal of Pure and Applied Algebra 1 Studia Logica 1 Annals of Pure and Applied Logic 1 Formal Aspects of Computing 1 ACM Transactions on Computational Logic 1 Journal of Logic and Analysis 1 Journal of Formalized Reasoning all top 5 Fields 10 Computer science (68-XX) 6 Mathematical logic and foundations (03-XX) 2 Algebraic topology (55-XX) 1 Category theory; homological algebra (18-XX) 1 Functional analysis (46-XX) 1 Manifolds and cell complexes (57-XX) 1 Probability theory and stochastic processes (60-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 13 Publications have been cited 36 times in 29 Documents Cited by ▼ Year ▼ HOL with definitions: semantics, soundness, and a verified implementation. Zbl 1416.68167Kumar, Ramana; Arthan, Rob; Myreen, Magnus O.; Owens, Scott 10 2014 Some new results on decidability for elementary algebra and geometry. Zbl 1259.03020Solovay, Robert M.; Arthan, R. D.; Harrison, John 10 2012 Self-formalisation of higher-order logic. Semantics, soundness, and a verified implementation. Zbl 1356.68194Kumar, Ramana; Arthan, Rob; Myreen, Magnus O.; Owens, Scott 8 2016 HOL constant definition done right. Zbl 1416.68148Arthan, Rob 4 2014 The homology of MO(1)Lambda infinity and MU(1)Lambda infinity. Zbl 0509.55002Arthan, R. D.; Bullett, S. R. 4 1982 On definitions of constants and types in HOL. Zbl 1356.68173Arthan, Rob 4 2016 A Hoare logic for linear systems. Zbl 1298.68163Arthan, Rob; Martin, Ursula; Oliva, Paulo 3 2013 A general framework for sound and complete Floyd-Hoare logics. Zbl 1351.03020Arthan, Rob; Martin, Ursula; Mathiesen, Erik A.; Oliva, Paulo 3 2009 Localization of stable homotopy rings. Zbl 0519.55007Arthan, R. D. 2 1983 An irrational construction of R from Z. Zbl 1005.68534Arthan, Rob D. 2 2001 Aronszajn’s criterion for Euclidean space. Zbl 1266.46019Arthan, R. D. 1 2012 (Dual) hoops have unique halving. Zbl 1383.68068Arthan, Rob; Oliva, Paulo 1 2013 On the Borel-Cantelli Lemmas, the Erdős-Rényi theorem, and the Kochen-Stone theorem. Zbl 07471628Arthan, Rob; Oliva, Paulo 1 2021 On the Borel-Cantelli Lemmas, the Erdős-Rényi theorem, and the Kochen-Stone theorem. Zbl 07471628Arthan, Rob; Oliva, Paulo 1 2021 Self-formalisation of higher-order logic. Semantics, soundness, and a verified implementation. Zbl 1356.68194Kumar, Ramana; Arthan, Rob; Myreen, Magnus O.; Owens, Scott 8 2016 On definitions of constants and types in HOL. Zbl 1356.68173Arthan, Rob 4 2016 HOL with definitions: semantics, soundness, and a verified implementation. Zbl 1416.68167Kumar, Ramana; Arthan, Rob; Myreen, Magnus O.; Owens, Scott 10 2014 HOL constant definition done right. Zbl 1416.68148Arthan, Rob 4 2014 A Hoare logic for linear systems. Zbl 1298.68163Arthan, Rob; Martin, Ursula; Oliva, Paulo 3 2013 (Dual) hoops have unique halving. Zbl 1383.68068Arthan, Rob; Oliva, Paulo 1 2013 Some new results on decidability for elementary algebra and geometry. Zbl 1259.03020Solovay, Robert M.; Arthan, R. D.; Harrison, John 10 2012 Aronszajn’s criterion for Euclidean space. Zbl 1266.46019Arthan, R. D. 1 2012 A general framework for sound and complete Floyd-Hoare logics. Zbl 1351.03020Arthan, Rob; Martin, Ursula; Mathiesen, Erik A.; Oliva, Paulo 3 2009 An irrational construction of R from Z. Zbl 1005.68534Arthan, Rob D. 2 2001 Localization of stable homotopy rings. Zbl 0519.55007Arthan, R. D. 2 1983 The homology of MO(1)Lambda infinity and MU(1)Lambda infinity. Zbl 0509.55002Arthan, R. D.; Bullett, S. R. 4 1982 all cited Publications top 5 cited Publications all top 5 Cited by 74 Authors 4 Schlichtkrull, Anders 3 Arthan, Rob D. 3 Myreen, Magnus O. 3 Nipkow, Tobias 2 Kumar, Ramana 2 Kunčar, Ondřej 2 Paulson, Lawrence Charles 2 Popescu, Andrei 1 Abrahamsson, Oskar 1 Adams, Mark 1 Apt, Krzysztof Rafal 1 Bauer, Gertrud 1 Bohrer, Brandon 1 Bonacina, Maria Paola 1 Bonchi, Filippo 1 Borovik, Alexandre V. 1 Bundy, Alan 1 Dang, Tat Dat 1 Davis, Jared 1 Estrada, Luisa F. 1 Furbach, Ulrich 1 Gengelbach, Arve 1 Grov, Gudmund 1 Hales, Thomas Callister 1 Ho, Son Lam 1 Hoàng Lê Trường 1 Högele, Michael Anton 1 Holland, Joshua 1 Jensen, Alexander Birch 1 Jin, Renling 1 Kaliszyk, Cezary 1 Kaminski, Benjamin Lucien 1 Kanabar, Hrutvik 1 Katoen, Joost-Pieter 1 Katz, Mikhail G. 1 Larsen, John Bruntse 1 Magron, Victor 1 Martin, Ursula 1 Matheja, Christoph 1 McLaughlin, Sean 1 Nguyen, Quang Truong 1 Nguyen, Tat Thang 1 Norrish, Michael 1 Obua, Steven 1 Olderog, Ernst-Rüdiger 1 Oliva, Paulo 1 Olmedo, Federico 1 Owens, Scott 1 Pavlović, Duško 1 Pease, Alison 1 Platzer, André 1 Pleso, Joseph 1 Raggi, Daniel 1 Rahli, Vincent 1 Roßkopf, Simon 1 Rute, Jason 1 Sobociński, Paweł 1 Sofronie-Stokkermans, Viorica 1 Solovyev, Alexey 1 Tạ Thị Hoài An 1 Tan, Yong Kiam 1 Théry, Laurent 1 Tran, Nam Trung 1 Trieu, Thi Diep 1 Urban, Josef 1 Villadsen, Jørgen 1 Weber, Tjark 1 Weiss, Ittay 1 Wenzel, Makarius 1 Wiedijk, Freek 1 Xiang, Shuangqing 1 Xie, Wanling 1 Zhu, Huibiao 1 Zumkeller, Roland all top 5 Cited in 10 Serials 6 Journal of Automated Reasoning 4 Formal Aspects of Computing 2 Mathematics in Computer Science 1 Rocky Mountain Journal of Mathematics 1 Notre Dame Journal of Formal Logic 1 Statistics & Probability Letters 1 AI Communications 1 The Bulletin of Symbolic Logic 1 Journal of Formalized Reasoning 1 Forum of Mathematics, Pi all top 5 Cited in 11 Fields 25 Computer science (68-XX) 13 Mathematical logic and foundations (03-XX) 2 General and overarching topics; collections (00-XX) 2 Real functions (26-XX) 1 Number theory (11-XX) 1 Associative rings and algebras (16-XX) 1 Category theory; homological algebra (18-XX) 1 Convex and discrete geometry (52-XX) 1 Probability theory and stochastic processes (60-XX) 1 Statistics (62-XX) 1 Systems theory; control (93-XX) Citations by Year