On the difference between one and many
- 1 January 1977
- book chapter
- Published by Springer Nature
- p. 480-491
- https://doi.org/10.1007/3-540-08342-1_37
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Fast Parallel Matrix Inversion AlgorithmsSIAM Journal on Computing, 1976
- On Two Problems in the Generation of Program Test PathsIEEE Transactions on Software Engineering, 1976
- Relativizations of the $\mathcal{P} = ?\mathcal{NP}$ QuestionSIAM Journal on Computing, 1975
- Complete Register Allocation ProblemsSIAM Journal on Computing, 1975
- On some direct encodings of nondeterministic Turing machines operating in polynomial time into p-complete problemsACM SIGACT News, 1974
- Reducibility among Combinatorial ProblemsPublished by Springer Nature ,1972
- The complexity of theorem-proving proceduresPublished by Association for Computing Machinery (ACM) ,1971
- Ueber die Auflösung der Gleichungen, auf welche man bei der Untersuchung der linearen Vertheilung galvanischer Ströme geführt wirdAnnalen der Physik, 1847