eCommons will be completely unavailable from 8:00am April 4 until 5:00pm April 5, 2018, for software upgrades. Thank you for your patience during this planned service interruption. Please contact us at firstname.lastname@example.org if you have questions or concerns.
This collection is intended to bring together in one place materials dealing with the work and legacy of Cornell Professor, Juris Hartmanis, both new materials and those published in other collections in eCommons.
Included here are:
- A Conversation with Juris Hartmanis - Video and Multimedia Presentation
- Papers by Juris Hartmanis
(Internet-First University Press, 2010-03-31)Juris Hartmanis is video taped in a far-reaching conversation (70 minutes) with colleague David Gries. They discuss Hartmanis’ childhood and family background and his immigration to the United States. Next they trace his ...
(Cornell University, 1978-08)In this paper we study the relative succinctness of different representations of polymomial time languages and investigate what can and cannot be formally verified about these representations. We also show that the ...
(Cornell University, 1978-07)One-way log-tape (1-L) reductions are mappings defined by log-tape Turing machines whose read head on the input can only move to the right. The 1-L reductions provide a more refined tool for studying the feasible complexity ...
(Cornell University, 1978-06)The purpose of this paper is to give simple new proofs of some interesting recent results about the relative succintness of different representations of regular, deterministic and unambiguous context-free languages and ...
(Cornell University, 1977-07)In this paper we study $\log n$-tape computable reductions between sets and investigate conditions under which $\log n$-tape reductions between sets can be extended to $\log n$-tape computable isomorphisms of these sets. ...