@incollection{AST_1976__38-39__253_0,
author = {Valiant, L. G.},
title = {Space-time tradeoffs in computations},
booktitle = {Journ\'ees algorithmiques},
series = {Ast\'erisque},
pages = {253--264},
year = {1976},
publisher = {Soci\'et\'e math\'ematique de France},
number = {38-39},
mrnumber = {451863},
zbl = {0359.68052},
language = {en},
url = {https://www.numdam.org/item/AST_1976__38-39__253_0/}
}
TY - CHAP AU - Valiant, L. G. TI - Space-time tradeoffs in computations BT - Journées algorithmiques AU - Collectif T3 - Astérisque PY - 1976 SP - 253 EP - 264 IS - 38-39 PB - Société mathématique de France UR - https://www.numdam.org/item/AST_1976__38-39__253_0/ LA - en ID - AST_1976__38-39__253_0 ER -
Valiant, L. G. Space-time tradeoffs in computations, dans Journées algorithmiques, Astérisque, no. 38-39 (1976), pp. 253-264. https://www.numdam.org/item/AST_1976__38-39__253_0/
[1] , , and . The Design and Analysis of Computer Algorithms, Addison-Wesley, 1974. | Zbl
[2] Comparing complexity classes. JCSS 9 (1974) 213-229. | MR | Zbl
[3] Some remarks on time-space and size-depth Manuscript (1975).
[4] The Complexity of theorem-proving procedures. Proc. 3rd ACM Symp. on Theory of Computing (1971) 151-158. | Zbl
[5] An observation on time-storage tradeoff. Proc. 5th ACM Symp. on Theory of Computing (1973) 29-33. | MR | Zbl
[6] and . Storage requirements for deterministic polynomial time recognizable languages. Proc. 6th ACM Symp. on Theory of Computing (1974) 33-39. | MR | Zbl
[7] and . A combinatorial problem that is complete in polynomial space. Proc. 7th ACM Symp. on Theory of Computing (1975) 66-71. | MR
[8] and . Two tape simulations of multi-tape machines. JACM 13 (1966) 533-546. | MR | Zbl | DOI
[9] and . Relations between tape and time complexities. JACM 15 (1968) 414-427. | MR | Zbl | DOI
[10] , and . On time versus space and related problems. Proc. 16th IEEE Symp. on Foundations of Computer Science (1975) 57-64. | MR
[11] and . Formal Languages and their Relation to Automata. Addison-Wesley, (1969). | MR | Zbl
[12] and . Complete problems for deterministic polynomial time. Proc. 6th ACM Symp. on Theory of Computing (1974) 40-46. | MR | Zbl
[13] Reducibility among combinatorial problems. In Miller, R.E. and J.W. Thatcher (eds.). Complexity of Computer Computations, Plenum Press (1972). | MR | Zbl | DOI
[14] Three theorems on phrase structure grammars of type 1. Inf. and Control 6 (1963) 131-137. | MR | Zbl | DOI
[15] and . The equivalence problem for regular expressions with squaring requires exponential space. Proc. 13th IEEE Symp. on Switching and Automata Theory (1972) 125-129.
[16] and . Comparative schematology. Proc. of Project MAC Conf. on Concurrent Syst. and Parallel Compt. (1970) 119-127.
[17] and . Circuit size is nonlinear in depth. TCS (to appear). | MR | Zbl | DOI
[18] , and . Space bounds for a game on graphs. Proc. 8th ACM Symp. on Theory of Computing (1976). | MR | Zbl
[19] , , and . Hierarchies of memory limited computations. Proc. of 6th IEEE Symp. of Switching and Automata Theory (1965) 191-202.
[20] and Word problems requiring exponential time. Proc. 5th ACM Symp. on Theory of Computing (1973) 1-9. | MR | Zbl
[21] Universal Circuits. Proc. 8th ACM Symp. on Theory of Computing (1976). | Zbl







