Symmetry Coincides with Nondeterminism for Time-Bounded Auxiliary Pushdown Automata. Allender, E. & Lange, K. In IEEE Conference on Computational Complexity (CCC), pages 172 – 180, 2010. bibtex @InProceedings{symauxpda,
author = "E. Allender and K.-J. Lange",
title = "Symmetry Coincides with Nondeterminism for Time-Bounded Auxiliary Pushdown Automata",
booktitle = "IEEE Conference on Computational Complexity (CCC)",
year = "2010",
pages = "172 -- 180",
}
Downloads: 0
{"_id":{"_str":"534243ba0e946d920a000485"},"__v":1,"authorIDs":[],"author_short":["Allender, E.","Lange, K."],"bibbaseid":"allender-lange-symmetrycoincideswithnondeterminismfortimeboundedauxiliarypushdownautomata-2010","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["E."],"propositions":[],"lastnames":["Allender"],"suffixes":[]},{"firstnames":["K.-J."],"propositions":[],"lastnames":["Lange"],"suffixes":[]}],"title":"Symmetry Coincides with Nondeterminism for Time-Bounded Auxiliary Pushdown Automata","booktitle":"IEEE Conference on Computational Complexity (CCC)","year":"2010","pages":"172 – 180","bibtex":"@InProceedings{symauxpda,\n author = \"E. Allender and K.-J. Lange\",\n title = \"Symmetry Coincides with Nondeterminism for Time-Bounded Auxiliary Pushdown Automata\",\n booktitle = \"IEEE Conference on Computational Complexity (CCC)\",\n year = \"2010\",\n pages = \"172 -- 180\",\n}\n\n\n","author_short":["Allender, E.","Lange, K."],"key":"symauxpda","id":"symauxpda","bibbaseid":"allender-lange-symmetrycoincideswithnondeterminismfortimeboundedauxiliarypushdownautomata-2010","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"people.csail.mit.edu/andyd/CCI_refs.bib","downloads":0,"keywords":[],"search_terms":["symmetry","coincides","nondeterminism","time","bounded","auxiliary","pushdown","automata","allender","lange"],"title":"Symmetry Coincides with Nondeterminism for Time-Bounded Auxiliary Pushdown Automata","year":2010,"dataSources":["Te9pFfTBkQvusPFGk","6sSgqzaHAPRWvSxTP"]}