Reverse mathematics, computability, and partitions of trees J Chubb, JL Hirst, TH McNicholl The Journal of Symbolic Logic 74 (1), 201-215, 2009 | 44 | 2009 |
Degree spectra of the successor relation of computable linear orderings J Chubb, A Frolov, V Harizanov Archive for Mathematical Logic 48 (1), 7-13, 2009 | 30 | 2009 |
The breakdown of synchronization in systems of nonidentical chaotic oscillators: Theory and experiment J Chubb, E Barreto, P So, BJ Gluckman International Journal of Bifurcation and Chaos 11 (10), 2705-2713, 2001 | 17 | 2001 |
Detecting properties from descriptions of groups I Bilanovic, J Chubb, S Roven Archive for Mathematical Logic 59 (3), 293-312, 2020 | 13 | 2020 |
Topos-based logic for quantum systems and bi-Heyting algebras A Döring, J Chubb, A Eskandarian, V Harizanov Logic and Algebraic Structures in Quantum Computing 45, 151-173, 2016 | 12 | 2016 |
Π10 classes and strong degree spectra of relations J Chisholm, J Chubb, VS Harizanov, DR Hirschfeldt, CG Jockusch Jr, ... The Journal of Symbolic Logic 72 (3), 1003-1018, 2007 | 11 | 2007 |
Logic and algebraic structures in quantum computing J Chubb, A Eskandarian, V Harizanov Cambridge University Press, 2016 | 5 | 2016 |
Partial automorphism semigroups J Chubb, VS Harizanov, AS Morozov, S Pingrey, E Ufferman Annals of Pure and Applied Logic 156 (2-3), 245-258, 2008 | 5 | 2008 |
Model completeness and relative decidability J Chubb, R Miller, R Solomon Archive for Mathematical Logic 60 (6), 721-735, 2021 | 4 | 2021 |
Ordered structures and computability J Chubb The George Washington University, 2009 | 4 | 2009 |
Groups with orderings of arbitrary algorithmic complexity J Chubb, MK Dabkowski, V Harizanov Sets and Computations, 221-251, 2018 | 2 | 2018 |
The Distance Function on a Computable Graph W Calvert, R Miller, JC Reimann arXiv preprint arXiv:1111.2480, 2011 | 1 | 2011 |
A (VERY) BRIEF TOUR OF QUANTUM MECHANICS, COMPUTATION, AND CATEGORY THEORY J CHUBB, V HARIZANOV Logic and Algebraic Structures in Quantum Computing 45, 8, 2016 | | 2016 |
Algorithmic complexity of orders of groups J Chubb Conference on Knot Theory and Its Applications to Physics and Quantum …, 2015 | | 2015 |
Twelfth asian logic conference R Downey The Bulletin of Symbolic Logic 19 (2), 257-283, 2013 | | 2013 |
Approximating functions and measuring distance on a graph W Calvert, R Miller, JC Reimann Proceedings of the 12th Asian Logic Conference, 24-52, 2013 | | 2013 |
The Distance Function on a Computable Graph JC Chubb, W Calvert, R Miller | | 2013 |
Computable partitions of trees J Chubb | | 2009 |
Computable groups and their orderings J Chubb | | 2009 |
Computability and spaces of orderings of groups J Chubb | | 2007 |