@incollection{BFLS-C,
show = 1,
author = "L. Babai and L. Fortnow and L. Levin and M. Szegedy",
title = "Checking Computations in Polylogarithmic Time",
url = "https://dl.acm.org/authorize?80692",
publisher = "ACM",
address = "New York",
booktitle = stoc23,
year = 1991,
pages = "21-31",
doi = "10.1145/103418.103428",
url_paper = {https://lance.fortnow.com/papers/files/check.pdf}}

{"_id":"3HAdfDdAPdntSddpY","bibbaseid":"babai-fortnow-levin-szegedy-checkingcomputationsinpolylogarithmictime-1991","downloads":5,"creationDate":"2016-02-09T20:07:41.880Z","title":"Checking Computations in Polylogarithmic Time","author_short":["Babai, L.","Fortnow, L.","Levin, L.","Szegedy, M."],"year":1991,"bibtype":"incollection","biburl":"https://github.com/fortnow/pubs2/raw/master/pubs.bib","bibdata":{"bibtype":"incollection","type":"incollection","show":"1","author":[{"firstnames":["L."],"propositions":[],"lastnames":["Babai"],"suffixes":[]},{"firstnames":["L."],"propositions":[],"lastnames":["Fortnow"],"suffixes":[]},{"firstnames":["L."],"propositions":[],"lastnames":["Levin"],"suffixes":[]},{"firstnames":["M."],"propositions":[],"lastnames":["Szegedy"],"suffixes":[]}],"title":"Checking Computations in Polylogarithmic Time","url":"https://dl.acm.org/authorize?80692","publisher":"ACM","address":"New York","booktitle":"Proceedings of the 23rd ACM Symposium on the Theory of Computing","year":"1991","pages":"21-31","doi":"10.1145/103418.103428","url_paper":"https://lance.fortnow.com/papers/files/check.pdf","bibtex":"@incollection{BFLS-C,\nshow = 1,\nauthor = \"L. Babai and L. Fortnow and L. Levin and M. Szegedy\",\ntitle = \"Checking Computations in Polylogarithmic Time\",\nurl = \"https://dl.acm.org/authorize?80692\",\npublisher = \"ACM\",\naddress = \"New York\",\nbooktitle = stoc23,\nyear = 1991,\npages = \"21-31\",\ndoi = \"10.1145/103418.103428\",\nurl_paper = {https://lance.fortnow.com/papers/files/check.pdf}}\n\t\t\n","author_short":["Babai, L.","Fortnow, L.","Levin, L.","Szegedy, M."],"key":"BFLS-C","id":"BFLS-C","bibbaseid":"babai-fortnow-levin-szegedy-checkingcomputationsinpolylogarithmictime-1991","role":"author","urls":{"Paper":"https://dl.acm.org/authorize?80692"," paper":"https://lance.fortnow.com/papers/files/check.pdf"},"metadata":{"authorlinks":{"fortnow, l":"https://lance.fortnow.com/papers/"}},"downloads":5},"search_terms":["checking","computations","polylogarithmic","time","babai","fortnow","levin","szegedy"],"keywords":[],"authorIDs":["Azt5NBTqEdNj9ZoNP"],"dataSources":["Qo8NuaKyuaTqZRa6n","oWB3XQwMpuvaY9GG2","Pku8vFzFhtx9p7pE6","uKt7RQWEWWvqzsXYy"]}