| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Douglas Cenzer, Valentina S. Harizanov, Jeffrey B. Remmel |
Σ01 and Π01 equivalence structures.  |
Ann. Pure Appl. Logic  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas Cenzer, Paul Brodhead, Ferit Toska, Sebastian Wyman |
Algorithmic Randomness and Capacity of Closed Sets |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas Cenzer, Johanna N. Y. Franklin, Jiang Liu 0002, Guohua Wu |
A superhigh diamond in the c.e. tt-degrees. |
Arch. Math. Log. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas Cenzer, Valentina S. Harizanov, Jeffrey B. Remmel |
Effective Categoricity of Injection Structures. |
CiE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas A. Cenzer, S. Ali Dashti, Ferit Toska, Sebastian Wyman |
Computability of Countable Subshifts. |
CiE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas Cenzer, Paul Brodhead |
Effective Capacity and Randomness of Closed Sets |
CCA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas A. Cenzer, Geoffrey LaForte, Guohua Wu |
Pseudojumps and Pi10 Classes. |
J. Log. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | George Barmpalias, Douglas A. Cenzer, Jeffrey B. Remmel, Rebecca Weber |
K-Triviality of Closed Sets and Continuous Functions. |
J. Log. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wesley Calvert, Douglas A. Cenzer, Valentina S. Harizanov, Andrei S. Morozov |
Effective categoricity of Abelian p-groups. |
Ann. Pure Appl. Logic |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas A. Cenzer, Valentina S. Harizanov, David Marker, Carol Wood |
Preface. |
Arch. Math. Log. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas A. Cenzer, Barbara F. Csima, Bakhadyr Khoussainov |
Linear orders with distinguished function symbol. |
Arch. Math. Log. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas A. Cenzer, Valentina S. Harizanov, Jeffrey B. Remmel |
S01 and P01 Equivalence Structures. |
CiE |
2009 |
DBLP DOI BibTeX RDF |
equivalence structures, effective categoricity, computability theory, computable model theory |
| 1 | Douglas Cenzer, Geoffrey LaForte, Jeffrey B. Remmel |
Equivalence structures and isomorphisms in the difference hierarchy. |
J. Symb. Log. |
2009 |
DBLP BibTeX RDF |
|
| 1 | Douglas Cenzer, Rodney G. Downey, Jeffrey B. Remmel, Zia Uddin |
Space complexity of Abelian groups. |
Arch. Math. Log. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas Cenzer, Johanna N. Y. Franklin, Jiang Liu 0002, Guohua Wu |
Embedding the Diamond Lattice in the c.e. tt-Degrees with Superhigh Atoms. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas Cenzer, Rebecca Weber, Guohua Wu |
Immunity for Closed Sets. |
CiE |
2009 |
DBLP DOI BibTeX RDF |
Computability, Classes |
| 1 | Douglas A. Cenzer, Rebecca Weber |
Preface. |
Arch. Math. Log. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | George Barmpalias, Paul Brodhead, Douglas A. Cenzer, Jeffrey B. Remmel, Rebecca Weber |
Algorithmic randomness of continuous functions. |
Arch. Math. Log. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03D28, 68Q30, 60D05 |
| 1 | Douglas A. Cenzer, Peter G. Hinman |
Degrees of difficulty of generalized r.e. separating classes. |
Arch. Math. Log. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03D30, 03D25 |
| 1 | Paul Brodhead, Douglas A. Cenzer |
Effectively closed sets and enumerations. |
Arch. Math. Log. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03D30, 03D25 |
| 1 | Douglas Cenzer, S. Ali Dashti, Jonathan L. F. King |
Computable symbolic dynamics. |
Math. Log. Q. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas Cenzer, S. Ali Dashti, Jonathan L. F. King |
Effective Symbolic Dynamics. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas Cenzer, Jeffrey B. Remmel |
A Connection between Cantor-Bendixson Derivatives and the Well-Founded Semantics of Logic Programs. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Douglas A. Cenzer, Geoffrey LaForte, Guohua Wu |
Pseudojump Operators and P01 Classes. |
CiE |
2007 |
DBLP DOI BibTeX RDF |
Computability, Classes |
| 1 | George Barmpalias, Douglas A. Cenzer, Jeffrey B. Remmel, Rebecca Weber |
K -Trivial Closed Sets and Continuous Functions. |
CiE |
2007 |
DBLP DOI BibTeX RDF |
Computability, Randomness, Classes |
| 1 | Paul Brodhead, Douglas Cenzer, Jeffrey B. Remmel |
Random Continuous Functions. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas Cenzer, Peter G. Hinman |
Medvedev Degrees of Generalized R.E. separating Classes. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas Cenzer, Ruth Dillhage, Tanja Grubba, Klaus Weihrauch |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | George Barmpalias, Paul Brodhead, Douglas Cenzer, Seyyed Dashti, Rebecca Weber |
Algorithmic Randomness of Closed Sets. |
J. Log. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas A. Cenzer, Jeffrey B. Remmel |
On the complexity of inductive definitions. |
Mathematical Structures in Computer Science |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas A. Cenzer, Jeffrey B. Remmel |
Complexity, decidability and completeness. |
J. Symb. Log. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov, Andrei S. Morozov |
Effective categoricity of equivalence structures. |
Ann. Pure Appl. Logic |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas Cenzer, Zia Uddin |
Logspace Complexity of Functions and Structures. |
CiE |
2006 |
DBLP DOI BibTeX RDF |
Complexity, Computability, Computable Model Theory |
| 1 | Paul Brodhead, Douglas Cenzer, Seyyed Dashti |
Random Closed Sets. |
CiE |
2006 |
DBLP DOI BibTeX RDF |
?01 Classes, Computability, Randomness |
| 1 | Douglas A. Cenzer, Jeffrey B. Remmel, Victor W. Marek |
Logic programming with infinite sets. |
Ann. Math. Artif. Intell. |
2005 |
DBLP DOI BibTeX RDF |
logic programming, nonmonotonic logic |
| 1 | Douglas A. Cenzer, Jeffrey B. Remmel |
The Complexity of Inductive Definability. |
CiE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas Cenzer, Farzan Riazati |
Minimal extensions of Pi01 classes. |
Math. Log. Q. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt |
Locally Determined Logic Programs and Recursive Stable Models. |
Ann. Math. Artif. Intell. |
2004 |
DBLP DOI BibTeX RDF |
logic programming, non-monotonic logic |
| 1 | Douglas A. Cenzer, V. Wiktor Marek, Jeffrey B. Remmel |
Using Logic Programs to Reason about Infinite Sets. |
AMAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Douglas Cenzer, Jeffrey B. Remmel |
Index sets for computable differential equations. |
Math. Log. Q. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas Cenzer, V. Wiktor Marek, Jeffrey B. Remmel |
Using Logic Programs to Reason about Infinite Sets. |
ISAIM |
2004 |
DBLP BibTeX RDF |
|
| 1 | Douglas A. Cenzer, Jeffrey B. Remmel |
Index sets for omega-languages. |
Math. Log. Q. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas A. Cenzer, Peter G. Hinman |
Density of the Medvedev lattice of Pi01 classes. |
Arch. Math. Log. |
2003 |
DBLP DOI BibTeX RDF |
Degree of difficulty, Medvedev lattice, Density, Recursive functional |
| 1 | Douglas A. Cenzer, Jeffrey B. Remmel |
Effectively closed sets and graphs of computable real functions. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas A. Cenzer, Amy Vanderbilt |
Common Derivations in Locally Determined Logic Programs. |
AMAI |
2002 |
DBLP BibTeX RDF |
|
| 1 | Douglas Cenzer, Amy Vanderbilt |
Common Derivations in Locally Determined Logic Programs. |
ISAIM |
2002 |
DBLP BibTeX RDF |
|
| 1 | Douglas A. Cenzer, André Nies |
Initial Segments of The Lattice of PI01 Classes. |
J. Symb. Log. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Douglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt |
Characterizing the Set of Extensions of a Nonmonotonic Rule System with Levels. |
AMAI |
2000 |
DBLP BibTeX RDF |
|
| 1 | Douglas A. Cenzer, Jeffrey B. Remmel |
Index Sets in Computable Analysis. |
Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt |
Locally Determined Logic Programs. |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas A. Cenzer, William R. Moser |
A Good Oracle Is Hard to Beat. |
Algorithmica |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas A. Cenzer, Jeffrey B. Remmel |
Complexity and Categoricity. |
Inf. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas A. Cenzer, Jeffrey B. Remmel |
Index Sets for Pi01 Classes. |
Ann. Pure Appl. Logic |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas A. Cenzer, Jeffrey B. Remmel |
Feasible Graphs with Standard Universe. |
Ann. Pure Appl. Logic |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas A. Cenzer, Jeffrey B. Remmel |
Preface. |
Ann. Pure Appl. Logic |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey B. Remmel, Douglas A. Cenzer |
Feasible Graphs and Colorings. |
Math. Log. Q. |
1995 |
DBLP BibTeX RDF |
|
| 1 | Douglas A. Cenzer, William R. Moser |
Inductive Inference of Functions on the Rationals. |
COLT |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas A. Cenzer, Jeffrey B. Remmel |
Feasibly Categorial Models. |
LCC |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas A. Cenzer, Rodney G. Downey, Carl G. Jockusch Jr., Richard A. Shore |
Countable Thin Pi01 Classes. |
Ann. Pure Appl. Logic |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas A. Cenzer, Jeffrey B. Remmel |
Polynomial-Time Abelian Groups. |
Ann. Pure Appl. Logic |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas A. Cenzer, Jeffrey B. Remmel |
Polynomial-Time versus Recursive Models. |
Ann. Pure Appl. Logic |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas A. Cenzer, Rick L. Smith |
On the Ranked Points of A pi01 Set. |
J. Symb. Log. |
1989 |
DBLP BibTeX RDF |
|
| 1 | Douglas A. Cenzer |
Monotone Reducibility and the Family of Infinite Sets. |
J. Symb. Log. |
1984 |
DBLP BibTeX RDF |
|
| 1 | Douglas A. Cenzer |
Non-generable formal languages. |
Fundam. Inform. |
1980 |
DBLP BibTeX RDF |
|
| 1 | Douglas A. Cenzer |
Non-Generable RE Sets. |
FCT |
1977 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas A. Cenzer |
Monotone Inductive Definitions over the Continuum. |
J. Symb. Log. |
1976 |
DBLP BibTeX RDF |
|
| 1 | Andreas Blass, Douglas A. Cenzer |
Cores of pi11 Sets of Reals. |
J. Symb. Log. |
1974 |
DBLP BibTeX RDF |
|
| 1 | Douglas A. Cenzer |
Analytic Inductive Definitions. |
J. Symb. Log. |
1974 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")