Douglas Cenzer
Affiliations: | University of Florida, Gainesville, Gainesville, FL, United States |
Area:
MathematicsGoogle:
"Douglas Cenzer"Children
Sign in to add traineeAmy K. Vanderbilt | grad student | 2000 | UF Gainesville |
Farzan Riazati | grad student | 2001 | UF Gainesville |
Zia Uddin | grad student | 2004 | UF Gainesville |
Paul Brodhead | grad student | 2008 | UF Gainesville |
Ali Dashti | grad student | 2008 | UF Gainesville |
Ferit Toska | grad student | 2013 | UF Gainesville |
BETA: Related publications
See more...
Publications
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
Cenzer D, Marek VW, Remmel JB. (2020) On the complexity of index sets for finite predicate logic programs which allow function symbols Journal of Logic and Computation. 30: 107-156 |
Cenzer D, Porter CP. (2018) The Random Members of a ${\Pi }_{1}^{0}$ Class Theory of Computing Systems \/ Mathematical Systems Theory. 62: 1637-1671 |
Barmpalias G, Cenzer D, Porter CP. (2017) The Probability of a Computable Output from a Random Oracle Acm Transactions On Computational Logic. 18: 18 |
Cenzer D, Marek VW, Remmel JB. (2016) Index sets for finite normal predicate logic programs with function symbols Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9537: 60-75 |
Buss S, Cenzer D, Remmel JB. (2014) Sub-computable bounded randomness Logical Methods in Computer Science. 10 |
Cenzer D, Harizanov V, Remmel JB. (2014) Computability-Theoretic Properties of Injection Structures Algebra and Logic. 53: 39-69 |
Cenzer D, Harizanov V, Remmel JB. (2013) Two-to-one structures Journal of Logic and Computation. 23: 1195-1223 |
Cenzer D, Weber R. (2013) Effective Randomness of Unions and Intersections Theory of Computing Systems. 52: 48-64 |
Cenzer D, Remmel JB. (2013) Sub-computable bounded pseudorandomness Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7734: 104-118 |
Cenzer D, Remmel JB. (2012) A connection between the Cantor-Bendixson derivative and the well-founded semantics of finite logic programs Annals of Mathematics and Artificial Intelligence. 65: 1-24 |