TY - CONF A1 - Baartse, Martijn A1 - Meer, Klaus A2 - Faliszewski, Piotr A2 - Muscholl, Anca A2 - Niedermeier, Rolf T1 - Real Interactive Proofs for VPSPACE T2 - 41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016) Y1 - 2016 UR - https://opus4.kobv.de/opus4-UBICO/frontdoor/index/index/docId/17706 UR - https://nbn-resolving.org/urn:nbn:de:0030-drops-64300 SN - 978-3-95977-016-3 SP - 14.1 EP - 14.13 PB - Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH CY - Wadern ER -