Douglas A. Cenzer - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 46 from 46

2016

Index Sets for Finite Normal Predicate Logic Programs with Function SymbolsDouglas A. Cenzer, Victor W. Marek, Jeffrey B. Remmel. lfcs 2016: 60-75 [doi]

2010

Computability of Countable SubshiftsDouglas A. Cenzer, S. Ali Dashti, Ferit Toska, Sebastian Wyman. CiE 2010: 88-97 [doi]

2009

2008

Algorithmic randomness of continuous functionsGeorge Barmpalias, Paul Brodhead, Douglas A. Cenzer, Jeffrey B. Remmel, Rebecca Weber. AML, 46(7-8):533-546, 2008. [doi]

Effectively closed sets and enumerationsPaul Brodhead, Douglas A. Cenzer. AML, 46(7-8):565-582, 2008. [doi]

Degrees of difficulty of generalized r.e. separating classesDouglas A. Cenzer, Peter G. Hinman. AML, 46(7-8):629-647, 2008. [doi]

2007

::::K:::: -Trivial Closed Sets and Continuous FunctionsGeorge Barmpalias, Douglas A. Cenzer, Jeffrey B. Remmel, Rebecca Weber. cie 2007: 135-145 [doi]

Pseudojump Operators and P:::0:::::1:: ClassesDouglas A. Cenzer, Geoffrey LaForte, Guohua Wu. cie 2007: 146-151 [doi]

2006

On the complexity of inductive definitionsDouglas A. Cenzer, Jeffrey B. Remmel. mscs, 16(5):763-788, 2006. [doi]

Complexity, decidability and completenessDouglas A. Cenzer, Jeffrey B. Remmel. JSYML, 71(2):399-424, 2006. [doi]

2005

Logic programming with infinite setsDouglas A. Cenzer, Jeffrey B. Remmel, Victor W. Marek. AMAI, 44(4):309-339, 2005. [doi]

The Complexity of Inductive DefinabilityDouglas A. Cenzer, Jeffrey B. Remmel. cie 2005: 75-85 [doi]

2004

Locally Determined Logic Programs and Recursive Stable ModelsDouglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt. AMAI, 40(3-4):225-262, 2004. [doi]

Using Logic Programs to Reason about Infinite SetsDouglas A. Cenzer, V. Wiktor Marek, Jeffrey B. Remmel. amai 2004: [doi]

2003

Index sets for omega-languagesDouglas A. Cenzer, Jeffrey B. Remmel. mlq, 49(1):22-33, 2003. [doi]

Density of the Medvedev lattice of Pi01 classesDouglas A. Cenzer, Peter G. Hinman. AML, 42(6):583-600, 2003. [doi]

2002

Effectively closed sets and graphs of computable real functionsDouglas A. Cenzer, Jeffrey B. Remmel. TCS, 284(2):279-318, 2002. [doi]

Common Derivations in Locally Determined Logic ProgramsDouglas A. Cenzer, Amy Vanderbilt. amai 2002: [doi]

2001

Initial Segments of The Lattice of PI:::0:::::1:: ClassesDouglas A. Cenzer, André Nies. JSYML, 66(4):1749-1765, 2001.

2000

Characterizing the Set of Extensions of a Nonmonotonic Rule System with LevelsDouglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt. amai 2000: [doi]

1999

Index Sets in Computable AnalysisDouglas A. Cenzer, Jeffrey B. Remmel. TCS, 219(1-2):111-150, 1999. [doi]

Locally Determined Logic ProgramsDouglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt. lpnmr 1999: 34-48 [doi]

1998

A Good Oracle Is Hard to BeatDouglas A. Cenzer, William R. Moser. algorithmica, 22(1/2):18-34, 1998.

Index Sets for Pi:::0:::::1:: ClassesDouglas A. Cenzer, Jeffrey B. Remmel. APAL, 93(1-3):3-61, 1998.

PrefaceDouglas A. Cenzer, Jeffrey B. Remmel. APAL, 93(1-3):1-2, 1998.

Feasible Graphs with Standard UniverseDouglas A. Cenzer, Jeffrey B. Remmel. APAL, 94(1-3):21-35, 1998.

Complexity and CategoricityDouglas A. Cenzer, Jeffrey B. Remmel. iandc, 140(1):2-25, 1998.

1995

Inductive Inference of Functions on the RationalsDouglas A. Cenzer, William R. Moser. colt 1995: 178-181 [doi]

Feasible Graphs and ColoringsJeffrey B. Remmel, Douglas A. Cenzer. mlq, 41:327-352, 1995.

1994

Feasibly Categorial ModelsDouglas A. Cenzer, Jeffrey B. Remmel. lcc 1995: 300-312

1993

Countable Thin Pi:::0:::::1:: ClassesDouglas A. Cenzer, Rodney G. Downey, Carl G. Jockusch Jr., Richard A. Shore. APAL, 59(2):79-139, 1993.

1992

Polynomial-Time Abelian GroupsDouglas A. Cenzer, Jeffrey B. Remmel. APAL, 56(1-3):313-363, 1992.

1991

Polynomial-Time versus Recursive ModelsDouglas A. Cenzer, Jeffrey B. Remmel. APAL, 54(1):17-58, 1991.

1989

On the Ranked Points of A pi:::0:::::1:: SetDouglas A. Cenzer, Rick L. Smith. JSYML, 54(3):975-991, 1989.

1986

0 classesDouglas A. Cenzer, Peter Clote, Rick L. Smith, Robert I. Soare, Stanley S. Wainer. APAL, 31:145-163, 1986. [doi]

1984

Monotone Reducibility and the Family of Infinite SetsDouglas A. Cenzer. JSYML, 49(3):774-782, 1984.

1980

Non-generable formal languagesDouglas A. Cenzer. FUIN, 3(1):95-104, 1980.

1977

Non-Generable RE SetsDouglas A. Cenzer. fct 1977: 379-385

1976

Monotone Inductive Definitions over the ContinuumDouglas A. Cenzer. JSYML, 41(1):188-198, 1976.

1974

Cores of pi:::1:::::1:: Sets of RealsAndreas Blass, Douglas A. Cenzer. JSYML, 39(4):649-654, 1974.

Analytic Inductive DefinitionsDouglas A. Cenzer. JSYML, 39(2):310-312, 1974.

Sign in or sign up to see more results.

runs on WebDSL