Real Interactive Proofs for VPSPACE
Author: | Martijn Baartse, Klaus MeerGND |
---|---|
URN: | urn:nbn:de:0030-drops-64300 |
DOI: | https://doi.org/10.4230/LIPIcs.MFCS.2016.14 |
ISBN: | 978-3-95977-016-3 |
Title of the source (English): | 41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016) |
Publisher: | Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH |
Place of publication: | Wadern |
Editor: | Piotr Faliszewski, Anca Muscholl, Rolf Niedermeier |
Document Type: | Conference Proceeding |
Language: | English |
Year of publication: | 2016 |
First Page: | 14.1 |
Last Page: | 14.13 |
Series ; volume number: | Leibniz International Proceedings in Informatics (LIPIcs) ; 58 |
Faculty/Chair: | Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Theoretische Informatik |