RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

Subscriber Authentication Point

EDPS Account

Search

On effective speed-up and long proofs of trivial theorems in formal theories

J. Hartmanis

R.A.I.R.O. Informatique théorique, 10 R1 (1976) 29-38

Published online: 01 February 2017

DOI: 10.1051/ita/197610R100291

This search tool will display articles in our database by authors of the selected article:

Select your author(s):

J. Hartmanis

Search method:

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)