Search Results - Hartmanis, Juris

Filter by
  1. 1
    Cover Image

    Generalized Kolmogorov complexity and the structure of feasible computations
    by Hartmanis, Juris

    Published 1983
    Book


    Saved in:
  2. 2
    Cover Image

    Feasible computations and provable complexity properties
    by Hartmanis, Juris 1928-2022

    Published 1978
    Read online
    Electronic eBook


    Saved in:
  3. 3
    Cover Image

    On log-tape isomorphisms of complete sets
    by Hartmanis, Juris

    Published 1977
    Book


    Saved in:
  4. 4
    Cover Image

    Independence results in computer science
    by Hartmanis, Juris, Hopcroft, John E. 1939-

    Published 1976
    Book


    Saved in:
  5. 5
    Cover Image

    A note on tape bounds for SLA language processing
    by Hartmanis, Juris, Berman, L.

    Published 1975
    Book


    Saved in:
  6. 6
    Cover Image

    On simple Goedel numberings and translations
    by Hartmanis, Juris, Baker, Theodore P.

    Published 1973
    Book


    Saved in:
  7. 7
    Cover Image

    Complexity of formal translations and speed-up results
    by Constable, Robert Lee 1952-, Hartmanis, Juris

    Published 1970
    Book


    Saved in:
  8. 8
    Cover Image

    On complete problems for NPnCoNP
    by Hartmanis, Juris, Immerman, Neil 1953-

    Published 1985
    Book


    Saved in:
  9. 9
    Cover Image

    On non-isomorphic NP complete sets
    by Hartmanis, Juris

    Published 1983
    Book


    Saved in:
  10. 10
    Cover Image

    On Goedel speed up and succinctness of language representation
    by Hartmanis, Juris

    Published 1982
    Book


    Saved in:
  11. 11
    Cover Image

    On sparse sets in NP-P
    by Hartmanis, Juris

    Published 1982
    Book


    Saved in:
  12. 12
    Cover Image

    Observations about the development of theoretical computer science
    by Hartmanis, Juris

    Published 1979
    Book


    Saved in:
  13. 13
    Cover Image

    On the succinctness of different representations of languages
    by Hartmanis, Juris

    Published 1978
    Book


    Saved in:
  14. 14
    Cover Image

    One-way log-tape reductions
    by Hartmanis, Juris, Immerman, N., Mahaney, S.

    Published 1978
    Book


    Saved in:
  15. 15
    Cover Image

    Relations between diagonalization, proof systems, and complexity gaps
    by Hartmanis, Juris

    Published 1977
    Book


    Saved in:
  16. 16
    Cover Image

    On polynomial time isomorphisms of complete sets
    by Berman, L., Hartmanis, Juris

    Published 1976
    Book


    Saved in:
  17. 17
    Cover Image

    On effective speed-up and long proofs of trivial theorems in formal theories
    by Hartmanis, Juris

    Published 1975
    Book


    Saved in:
  18. 18
    Cover Image

    On the structure of feasible computations
    by Hartmanis, Juris, Simon, Janos

    Published 1974
    Book


    Saved in:
  19. 19
    Cover Image

    The LBA problem and its importance in the theory of computing
    by Hartmanis, Juris, Hunt, Harry B.

    Published 1973
    Book


    Saved in:
  20. 20
    Cover Image

    On the problem of finding natural computational complexity measures
    by Hartmanis, Juris

    Published 1973
    Book


    Saved in:

Search Tools: