Douglas A. Cenzer

44 papers A* 1B 2C 4Misc 1Journal 34Unranked 2

Year	Rank	Type	Title / Venue / Authors
2016	Misc	`conf`	Index Sets for Finite Normal Predicate Logic Programs with Function Symbols. LFCS Douglas A. Cenzer, Victor W. Marek, Jeffrey B. Remmel
2016	J	`jnl`	Random numbers as probabilities of machine behaviour. CoRR George Barmpalias, Douglas A. Cenzer, Christopher P. Porter
2010	C	`conf`	Computability of Countable Subshifts. CiE Douglas A. Cenzer, S. Ali Dashti, Ferit Toska, Sebastian Wyman
2009	J	`jnl`	Effective categoricity of Abelian p-groups. Ann. Pure Appl. Log. Wesley Calvert, Douglas A. Cenzer, Valentina S. Harizanov, Andrei S. Morozov
2009	J	`jnl`	Linear orders with distinguished function symbol. Arch. Math. Log. Douglas A. Cenzer, Barbara F. Csima, Bakhadyr Khoussainov
2009	J	`jnl`	Preface. Arch. Math. Log. Douglas A. Cenzer, Valentina S. Harizanov, David Marker, Carol Wood
2009	J	`jnl`	Pseudojumps and Pi J. Log. Comput. Douglas A. Cenzer, Geoffrey LaForte, Guohua Wu
2009	C	`conf`	S CiE Douglas A. Cenzer, Valentina S. Harizanov, Jeffrey B. Remmel
2008	J	`jnl`	Algorithmic randomness of continuous functions. Arch. Math. Log. George Barmpalias, Paul Brodhead, Douglas A. Cenzer, Jeffrey B. Remmel, Rebecca Weber
2008	J	`jnl`	Degrees of difficulty of generalized r.e. separating classes. Arch. Math. Log. Douglas A. Cenzer, Peter G. Hinman
2008	J	`jnl`	Effectively closed sets and enumerations. Arch. Math. Log. Paul Brodhead, Douglas A. Cenzer
2008	J	`jnl`	Preface. Arch. Math. Log. Douglas A. Cenzer, Rebecca Weber
2007	C	`conf`	Pseudojump Operators and P CiE Douglas A. Cenzer, Geoffrey LaForte, Guohua Wu
2006	J	`jnl`	Complexity, decidability and completeness. J. Symb. Log. Douglas A. Cenzer, Jeffrey B. Remmel
2006	J	`jnl`	On the complexity of inductive definitions. Math. Struct. Comput. Sci. Douglas A. Cenzer, Jeffrey B. Remmel
2005	J	`jnl`	Logic programming with infinite sets. Ann. Math. Artif. Intell. Douglas A. Cenzer, Jeffrey B. Remmel, Victor W. Marek
2005	C	`conf`	The Complexity of Inductive Definability. CiE Douglas A. Cenzer, Jeffrey B. Remmel
2004	J	`jnl`	Locally Determined Logic Programs and Recursive Stable Models. Ann. Math. Artif. Intell. Douglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt
2003	J	`jnl`	Density of the Medvedev lattice of Pi01 classes. Arch. Math. Log. Douglas A. Cenzer, Peter G. Hinman
2003	J	`jnl`	Index sets for omega-languages. Math. Log. Q. Douglas A. Cenzer, Jeffrey B. Remmel
2002	J	`jnl`	Effectively closed sets and graphs of computable real functions. Theor. Comput. Sci. Douglas A. Cenzer, Jeffrey B. Remmel
2001	J	`jnl`	Initial Segments of The Lattice of PI J. Symb. Log. Douglas A. Cenzer, André Nies
2000	—	`conf`	Characterizing the Set of Extensions of a Nonmonotonic Rule System with Levels. AI&M Douglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt
1999	J	`jnl`	Index Sets in Computable Analysis. Theor. Comput. Sci. Douglas A. Cenzer, Jeffrey B. Remmel
1999	B	`conf`	Locally Determined Logic Programs. LPNMR Douglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt
1998	J	`jnl`	A Good Oracle Is Hard to Beat. Algorithmica Douglas A. Cenzer, William R. Moser
1998	J	`jnl`	Complexity and Categoricity. Inf. Comput. Douglas A. Cenzer, Jeffrey B. Remmel
1998	J	`jnl`	Feasible Graphs with Standard Universe. Ann. Pure Appl. Log. Douglas A. Cenzer, Jeffrey B. Remmel
1998	J	`jnl`	Index Sets for Pi Ann. Pure Appl. Log. Douglas A. Cenzer, Jeffrey B. Remmel
1998	J	`jnl`	Preface. Ann. Pure Appl. Log. Douglas A. Cenzer, Jeffrey B. Remmel
1995	J	`jnl`	Feasible Graphs and Colorings. Math. Log. Q. Jeffrey B. Remmel, Douglas A. Cenzer
1995	A*	`conf`	Inductive Inference of Functions on the Rationals. COLT Douglas A. Cenzer, William R. Moser
1994	—	`conf`	Feasibly Categorial Models. LCC Douglas A. Cenzer, Jeffrey B. Remmel
1993	J	`jnl`	Countable Thin Pi Ann. Pure Appl. Log. Douglas A. Cenzer, Rodney G. Downey, Carl G. Jockusch Jr., Richard A. Shore
1992	J	`jnl`	Polynomial-Time Abelian Groups. Ann. Pure Appl. Log. Douglas A. Cenzer, Jeffrey B. Remmel
1991	J	`jnl`	Polynomial-Time versus Recursive Models. Ann. Pure Appl. Log. Douglas A. Cenzer, Jeffrey B. Remmel
1989	J	`jnl`	On the Ranked Points of A pi J. Symb. Log. Douglas A. Cenzer, Rick L. Smith
1986	J	`jnl`	Members of countable π Ann. Pure Appl. Log. Douglas A. Cenzer, Peter Clote, Rick L. Smith, Robert I. Soare, Stanley S. Wainer
1984	J	`jnl`	Monotone Reducibility and the Family of Infinite Sets. J. Symb. Log. Douglas A. Cenzer
1980	J	`jnl`	Non-generable formal languages. Fundam. Informaticae Douglas A. Cenzer
1977	B	`conf`	Non-Generable RE Sets. FCT Douglas A. Cenzer
1976	J	`jnl`	Monotone Inductive Definitions over the Continuum. J. Symb. Log. Douglas A. Cenzer
1974	J	`jnl`	Analytic Inductive Definitions. J. Symb. Log. Douglas A. Cenzer
1974	J	`jnl`	Cores of pi J. Symb. Log. Andreas Blass, Douglas A. Cenzer