Douglas A. Cenzer

Publication Activity (10 Years)

Years Active: 1974-2016
Publications (10 Years): 2

Top Topics

Top Venues

Publications

Douglas A. Cenzer, Victor W. Marek, Jeffrey B. Remmel
Index Sets for Finite Normal Predicate Logic Programs with Function Symbols. LFCS (2016)
George Barmpalias, Douglas A. Cenzer, Christopher P. Porter
Random numbers as probabilities of machine behaviour. CoRR (2016)
Douglas A. Cenzer, S. Ali Dashti, Ferit Toska, Sebastian Wyman
Computability of Countable Subshifts. CiE (2010)
Douglas A. Cenzer, Barbara F. Csima, Bakhadyr Khoussainov
Linear orders with distinguished function symbol. Arch. Math. Log. 48 (1) (2009)
Douglas A. Cenzer, Valentina S. Harizanov, Jeffrey B. Remmel
Equivalence Structures. CiE (2009)
Douglas A. Cenzer, Valentina S. Harizanov, David Marker, Carol Wood
Preface. Arch. Math. Log. 48 (1) (2009)
Wesley Calvert, Douglas A. Cenzer, Valentina S. Harizanov, Andrei S. Morozov
Effective categoricity of Abelian p-groups. Ann. Pure Appl. Log. 159 (1-2) (2009)
George Barmpalias, Douglas A. Cenzer, Jeffrey B. Remmel, Rebecca Weber
-Triviality of Closed Sets and Continuous Functions. J. Log. Comput. 19 (1) (2009)
Douglas A. Cenzer, Geoffrey LaForte, Guohua Wu
Classes. J. Log. Comput. 19 (1) (2009)
George Barmpalias, Paul Brodhead, Douglas A. Cenzer, Jeffrey B. Remmel, Rebecca Weber
Algorithmic randomness of continuous functions. Arch. Math. Log. 46 (7-8) (2008)
Douglas A. Cenzer, Rebecca Weber
Preface. Arch. Math. Log. 46 (7-8) (2008)
Douglas A. Cenzer, Peter G. Hinman
Degrees of difficulty of generalized r.e. separating classes. Arch. Math. Log. 46 (7-8) (2008)
Paul Brodhead, Douglas A. Cenzer
Effectively closed sets and enumerations. Arch. Math. Log. 46 (7-8) (2008)
Douglas A. Cenzer, Geoffrey LaForte, Guohua Wu
Classes. CiE (2007)
George Barmpalias, Douglas A. Cenzer, Jeffrey B. Remmel, Rebecca Weber
-Trivial Closed Sets and Continuous Functions. CiE (2007)
Douglas A. Cenzer, Jeffrey B. Remmel
On the complexity of inductive definitions. Math. Struct. Comput. Sci. 16 (5) (2006)
Douglas A. Cenzer, Jeffrey B. Remmel
Complexity, decidability and completeness. J. Symb. Log. 71 (2) (2006)
Douglas A. Cenzer, Jeffrey B. Remmel
The Complexity of Inductive Definability. CiE (2005)
Douglas A. Cenzer, Jeffrey B. Remmel, Victor W. Marek
Logic programming with infinite sets. Ann. Math. Artif. Intell. 44 (4) (2005)
Douglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt
Locally Determined Logic Programs and Recursive Stable Models. Ann. Math. Artif. Intell. 40 (3-4) (2004)
Douglas A. Cenzer, Jeffrey B. Remmel
Index sets for omega-languages. Math. Log. Q. 49 (1) (2003)
Douglas A. Cenzer, Peter G. Hinman
Density of the Medvedev lattice of Pi01 classes. Arch. Math. Log. 42 (6) (2003)
Douglas A. Cenzer, Jeffrey B. Remmel
Effectively closed sets and graphs of computable real functions. Theor. Comput. Sci. 284 (2) (2002)
Douglas A. Cenzer, André Nies
Classes. J. Symb. Log. 66 (4) (2001)
Douglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt
Characterizing the Set of Extensions of a Nonmonotonic Rule System with Levels. AI&M (2000)
Douglas A. Cenzer, Jeffrey B. Remmel
Index Sets in Computable Analysis. Theor. Comput. Sci. 219 (1-2) (1999)
Douglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt
Locally Determined Logic Programs. LPNMR (1999)
Douglas A. Cenzer, Jeffrey B. Remmel
Complexity and Categoricity. Inf. Comput. 140 (1) (1998)
Douglas A. Cenzer, William R. Moser
A Good Oracle Is Hard to Beat. Algorithmica 22 (1/2) (1998)
Douglas A. Cenzer, Jeffrey B. Remmel
Feasible Graphs with Standard Universe. Ann. Pure Appl. Log. 94 (1-3) (1998)
Douglas A. Cenzer, Jeffrey B. Remmel
Preface. Ann. Pure Appl. Log. 93 (1-3) (1998)
Douglas A. Cenzer, Jeffrey B. Remmel
Classes. Ann. Pure Appl. Log. 93 (1-3) (1998)
Jeffrey B. Remmel, Douglas A. Cenzer
Feasible Graphs and Colorings. Math. Log. Q. 41 (1995)
Douglas A. Cenzer, William R. Moser
Inductive Inference of Functions on the Rationals. COLT (1995)
Douglas A. Cenzer, Jeffrey B. Remmel
Feasibly Categorial Models. LCC (1994)
Douglas A. Cenzer, Rodney G. Downey, Carl G. Jockusch Jr., Richard A. Shore
Classes. Ann. Pure Appl. Log. 59 (2) (1993)
Douglas A. Cenzer, Jeffrey B. Remmel
Polynomial-Time Abelian Groups. Ann. Pure Appl. Log. 56 (1-3) (1992)
Douglas A. Cenzer, Jeffrey B. Remmel
Polynomial-Time versus Recursive Models. Ann. Pure Appl. Log. 54 (1) (1991)
Douglas A. Cenzer, Rick L. Smith
Set. J. Symb. Log. 54 (3) (1989)
Douglas A. Cenzer, Peter Clote, Rick L. Smith, Robert I. Soare, Stanley S. Wainer
classes. Ann. Pure Appl. Log. 31 (1986)
Douglas A. Cenzer
Monotone Reducibility and the Family of Infinite Sets. J. Symb. Log. 49 (3) (1984)
Douglas A. Cenzer
Non-generable formal languages. Fundam. Informaticae 3 (1) (1980)
Douglas A. Cenzer
Non-Generable RE Sets. FCT (1977)
Douglas A. Cenzer
Monotone Inductive Definitions over the Continuum. J. Symb. Log. 41 (1) (1976)
Andreas Blass, Douglas A. Cenzer
Sets of Reals. J. Symb. Log. 39 (4) (1974)
Douglas A. Cenzer
Analytic Inductive Definitions. J. Symb. Log. 39 (2) (1974)