NONDETERMINISTIC SPACE IS CLOSED UNDER COMPLEMENTATION

[11] CLASSES OF LANGUAGES + LINEAR-BOUNDED AUTOMATA [J]. INFORMATION AND CONTROL, 1964, 7 (02): : 207 - &

[12] LANGE KJ, 1987, 14TH INT C AUT LANG

[13] SYMMETRIC SPACE-BOUNDED COMPUTATION [J]. THEORETICAL COMPUTER SCIENCE, 1982, 19 (02) : 161 - 187

[14] SPARSE COMPLETE-SETS FOR NP - SOLUTION OF A CONJECTURE OF BERMAN AND HARTMANIS [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1982, 25 (02) : 130 - 143

[15] SYMMETRIC COMPLEMENTATION [J]. JOURNAL OF THE ACM, 1984, 31 (02) : 401 - 421

[16] Savitch W.J., 1970, J COMPUT SYSTEM SCI, V4, P177, DOI [10.1016/S0022-0000(70)80006-X, DOI 10.1016/S0022-0000(70)80006-X]

[17] SCHONING U, 1987, 140 U AUGSB MATH I

[11] CLASSES OF LANGUAGES + LINEAR-BOUNDED AUTOMATA [J]. INFORMATION AND CONTROL, 1964, 7 (02): : 207 - &

[12] LANGE KJ, 1987, 14TH INT C AUT LANG

[13] SYMMETRIC SPACE-BOUNDED COMPUTATION [J]. THEORETICAL COMPUTER SCIENCE, 1982, 19 (02) : 161 - 187

[14] SPARSE COMPLETE-SETS FOR NP - SOLUTION OF A CONJECTURE OF BERMAN AND HARTMANIS [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1982, 25 (02) : 130 - 143

[15] SYMMETRIC COMPLEMENTATION [J]. JOURNAL OF THE ACM, 1984, 31 (02) : 401 - 421

[16] Savitch W.J., 1970, J COMPUT SYSTEM SCI, V4, P177, DOI [10.1016/S0022-0000(70)80006-X, DOI 10.1016/S0022-0000(70)80006-X]

[17] SCHONING U, 1987, 140 U AUGSB MATH I