A Connotational Theory of Program Structure von Royer, James S

Volltext

On characterizations of the basic feasible functionals, Part I von IRWIN, ROBERT J., ROYER, JAMES S., KAPRON, BRUCE M.

Volltext

Two Algorithms in Search of a Type-System von Danner, Norman, Royer, James S.

Volltext

Adventures in time and space von Danner, Norman, Royer, James S.

Volltext

On the computational complexity of Longley's H functional von Royer, James S.

Volltext

Program Size Complexity of Correction Grammars in the Ershov Hierarchy von Case, John, Royer, James S.

Volltext

Generality's price: Inescapable deficiencies in machine-learned programs von CASE, John, CHEN, Keh-Jiann, SANJAY JAIN, MERKLE, Wolfgang, ROYER, James S

Volltext

Semantics vs Syntax vs Computations: Machine Models for Type-2 Polynomial-Time Bounded Functionals von Royer, James S

Volltext

Every polynomial-time 1-degree collapses if and only if P = PSPACE von Fenner, Stephen A., Kurtz, Stuart A., Royer, James S.

Volltext

General Ramified Recurrence and Polynomial-time Completeness von Danner, Norman, Royer, James S

Volltext bestellen

The isomorphism conjecture fails relative to a random oracle von KURTZ, S. A, MAHANEY, S. R, ROYER, J. S

Volltext

General Ramified Recurrence and Polynomial-time Completeness von Danner, Norman, Royer, James S

Volltext

Two recursion theoretic characterizations of proof speed-ups von Royer, James S.

Volltext

Neil D. Jones, Computability and complexity, From a programming perspective, Foundations of computing, The MIT Press, Cambridge, Mass., and London, 1997, xvi + 466 pp von Royer, James S.

Volltext

Axiomatizing Resource Bounds for Measure von Gu, Xiaoyang, Lutz, Jack H., Nandakumar, Satyadev, Royer, James S.

Volltext

Time-Complexity Semantics for Feasible Affine Recursions von Danner, Norman, Royer, James S.

Volltext

Ramified Structural Recursion and Corecursion von Danner, Norman, Royer, James S

Volltext bestellen

How to prove representation-independent independence results von Kurtz, Stuart A., O'Donnell, Michael J., Royer, James S.

Volltext

Generality’s price: Inescapable deficiencies in machine-learned programs von Case, John, Chen, Keh-Jiann, Jain, Sanjay, Merkle, Wolfgang, Royer, James S.

Volltext

Omnibus Review von Royer, James S

Volltext