TU Berlin

Institut für TelekommunikationssystemePublikationen

Inhalt

zur Navigation

Publikationen Tim Jungnickel

A Constructive Proof for FLP
Zitatschlüssel bisping.2016.itp
Autor Benjamin Bisping and Paul-David Brodmann and Tim Jungnickel and Christina Rickmann and Henning Seidler and Anke Stüber and Arno Wilhelm-Weidner and Kirstin Peters and Uwe Nestmann
Buchtitel International Conference on Interactive Theorem Proving
Jahr 2016
Verlag Springer
Serie LNCS
Link zur Publikation Download Bibtex Eintrag

Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe