Douglas A. Cenzer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
5
Active years
1977–2016
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | LFCS | Index Sets for Finite Normal Predicate Logic Programs with Function Symbols. | Douglas A. Cenzer, Victor W. Marek, Jeffrey B. Remmel |
| 2010 | CiE | Computability of Countable Subshifts. | Douglas A. Cenzer, S. Ali Dashti, Ferit Toska, Sebastian Wyman |
| 2009 | CiE | S | Douglas A. Cenzer, Valentina S. Harizanov, Jeffrey B. Remmel |
| 2007 | CiE | Untitled record | George Barmpalias, Douglas A. Cenzer, Jeffrey B. Remmel, Rebecca Weber |
| 2007 | CiE | Pseudojump Operators and P | Douglas A. Cenzer, Geoffrey LaForte, Guohua Wu |
| 2005 | CiE | The Complexity of Inductive Definability. | Douglas A. Cenzer, Jeffrey B. Remmel |
| 1999 | LPNMR | Locally Determined Logic Programs. | Douglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt |
| 1995 | COLT | Inductive Inference of Functions on the Rationals. | Douglas A. Cenzer, William R. Moser |
| 1977 | FCT | Non-Generable RE Sets. | Douglas A. Cenzer |