| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Norman Danner, James S. Royer |
Ramified Structural Recursion and Corecursion  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Xiaoyang Gu, Jack H. Lutz, Satyadev Nandakumar, James S. Royer |
Axiomatizing Resource Bounds for Measure |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Xiaoyang Gu, Jack H. Lutz, Satyadev Nandakumar, James S. Royer |
Axiomatizing Resource Bounds for Measure. |
CiE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Norman Danner, James S. Royer |
Two Algorithms in Search of a Type-System. |
Theory Comput. Syst. |
2009 |
DBLP DOI BibTeX RDF |
Higher-type computation, Higher-type complexity, Basic feasible functionals, Compositional semantics, Implicit computational complexity |
| 1 | Norman Danner, James S. Royer |
Adventures in time and space. |
Logical Methods in Computer Science |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Norman Danner, James S. Royer |
Two algorithms in search of a type system |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Norman Danner, James S. Royer |
Time-complexity semantics for feasible affine recursions (extended abstract) |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Norman Danner, James S. Royer |
Time-Complexity Semantics for Feasible Affine Recursions. |
CiE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | John Case, Keh-Jiann Chen, Sanjay Jain, Wolfgang Merkle, James S. Royer |
Generality's price: Inescapable deficiencies in machine-learned programs. |
Ann. Pure Appl. Logic |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Norman Danner, James S. Royer |
Adventures in time and space |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Norman Danner, James S. Royer |
Adventures in time and space. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | James S. Royer |
On the computational complexity of Longley's H functional. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen A. Fenner, Stuart A. Kurtz, James S. Royer |
Every polynomial-time 1-degree collapses if and only if P = PSPACE. |
J. Symb. Log. |
2004 |
DBLP BibTeX RDF |
|
| 1 | John Case, Keh-Jiann Chen, Sanjay Jain, Wolfgang Merkle, James S. Royer |
Generality's Price: Inescapable Deficiencies in Machine-Learned Programs. |
COLT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert J. Irwin, James S. Royer, Bruce M. Kapron |
On characterizations of the basic feasible functionals (Part I). |
J. Funct. Program. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Ashish V. Naik, John D. Rogers, James S. Royer, Alan L. Selman |
A Hierarchy Based on Output Multiplicity. |
Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | James S. Royer |
Semantics vs Syntax vs Computations: Machine Models for Type-2 Polynomial-Time Bounded Functionals. |
J. Comput. Syst. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Stuart A. Kurtz, Stephen R. Mahaney, James S. Royer |
The Isomorphism Conjecture Fails Relative to a Random Oracle. |
J. ACM |
1995 |
DBLP DOI BibTeX RDF |
randomness, isomorphism, conjecture |
| 1 | Kenneth W. Regan, James S. Royer |
On Closure Properties of Bounded Two-Sided Error Complexity Classes. |
Mathematical Systems Theory |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | James S. Royer |
Semantics versus Syntax versus Computations. |
Structure in Complexity Theory Conference |
1995 |
DBLP BibTeX RDF |
|
| 1 | Steven Homer, Stuart A. Kurtz, James S. Royer |
On A-Truth-Table-Hard Languages. |
Theor. Comput. Sci. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Stuart A. Kurtz, Stephen R. Mahaney, James S. Royer |
Average Dependence and Random Oracles. |
Structure in Complexity Theory Conference |
1992 |
DBLP BibTeX RDF |
|
| 1 | James S. Royer |
Two Recursion Theoretic Characterizations of Proof Speed-Ups. |
J. Symb. Log. |
1989 |
DBLP BibTeX RDF |
|
| 1 | Stephen A. Fenner, Stuart A. Kurtz, James S. Royer |
Every Polynomial-Time 1-Degree Collapses iff P=PSPACE |
FOCS |
1989 |
DBLP DOI BibTeX RDF |
equivalent sets, m-reducible, Karp-reducible, polynomial-time computable function |
| 1 | Stuart A. Kurtz, Stephen R. Mahaney, James S. Royer |
The Isomorphism Conjecture Fails Relative to a Random Oracle (abstract). |
Structure in Complexity Theory Conference |
1989 |
DBLP BibTeX RDF |
|
| 1 | Stuart A. Kurtz, Stephen R. Mahaney, James S. Royer |
The Isomorphism Conjecture Fails Relative to a Random Oracle (Extended Abstract) |
STOC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Stuart A. Kurtz, Stephen R. Mahaney, James S. Royer |
Collapsing Degrees. |
J. Comput. Syst. Sci. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Stuart A. Kurtz, Stephen R. Mahaney, James S. Royer |
On the Power of 1-way Functions (Abstract). |
CRYPTO |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Stuart A. Kurtz, James S. Royer |
Prudence in Language Learning. |
COLT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Stuart A. Kurtz, Michael J. O'Donnell, James S. Royer |
How to Prove Representation-Independent Independence Results. |
Inf. Process. Lett. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | James S. Royer |
A Connotational Theory of Program Structure |
|
1987 |
DOI RDF |
|
| 1 | James S. Royer |
Inductive Inference of Approximations |
Information and Control |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Stuart A. Kurtz, Stephen R. Mahaney, James S. Royer |
Collapsing Degrees (Extended Abstract) |
FOCS |
1986 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")