• search hit 13 of 141
Back to Result List

Some results on interactive proofs for real computations

Export metadata

Additional Services

Search Google Scholar
Metadaten
Author: Klaus MeerGND, Martijn Baartse
URL:http://www.springer.com/in/book/9783319200279
DOI:https://doi.org/10.1007/978-3-319-20028-6
ISBN:978-3-319-20027-9
Title of the source (English):Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015, Proceedings
Publisher:Springer International Publishing
Place of publication:Berlin [u.a.]
Editor: Arnold Beckmann, Victor Mitrana, Mariya Soskova
Document Type:Conference Proceeding
Language:English
Year of publication:2015
First Page:107
Last Page:116
Series ; volume number:Lecture Notes in Computer Science ; 9136
Faculty/Chair:Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Theoretische Informatik
Einverstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu. Unsere Datenschutzerklärung finden Sie hier.