%0 Conference Paper %1 conf/stoc/Savitch69 %A Savitch, Walter J. %B STOC %D 1969 %E Fischer, Patrick C. %E Ginsburg, Seymour %E Harrison, Michael A. %I ACM %K dblp %P 247-248 %T Deterministic Simulation of Non-Deterministic Turing Machines (Detailed Abstract) %U http://dblp.uni-trier.de/db/conf/stoc/stoc69.html#Savitch69

@inproceedings{conf/stoc/Savitch69, added-at = {2018-11-06T00:00:00.000+0100}, author = {Savitch, Walter J.}, biburl = {https://www.bibsonomy.org/bibtex/2e5060c91355a7f9bacf2808822271815/dblp}, booktitle = {STOC}, crossref = {conf/stoc/STOC1}, editor = {Fischer, Patrick C. and Ginsburg, Seymour and Harrison, Michael A.}, ee = {https://doi.org/10.1145/800169.805439}, interhash = {0a1fcd8ba609b5dec87f0817853d87e0}, intrahash = {e5060c91355a7f9bacf2808822271815}, keywords = {dblp}, pages = {247-248}, publisher = {ACM}, timestamp = {2018-11-07T14:16:59.000+0100}, title = {Deterministic Simulation of Non-Deterministic Turing Machines (Detailed Abstract)}, url = {http://dblp.uni-trier.de/db/conf/stoc/stoc69.html#Savitch69}, year = 1969 }