Joshua Cook, Ron D. Rothblum. Efficient Interactive Proofs for Non-Deterministic Bounded Space. In Nicole Megow, Adam Smith, editors, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2023, September 11-13, 2023, Atlanta, Georgia, USA. Volume 275 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]
@inproceedings{CookR23-0, title = {Efficient Interactive Proofs for Non-Deterministic Bounded Space}, author = {Joshua Cook and Ron D. Rothblum}, year = {2023}, doi = {10.4230/LIPIcs.APPROX/RANDOM.2023.47}, url = {https://doi.org/10.4230/LIPIcs.APPROX/RANDOM.2023.47}, researchr = {https://researchr.org/publication/CookR23-0}, cites = {0}, citedby = {0}, booktitle = {Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2023, September 11-13, 2023, Atlanta, Georgia, USA}, editor = {Nicole Megow and Adam Smith}, volume = {275}, series = {LIPIcs}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, isbn = {978-3-95977-296-9}, }