TU Berlin

Department of Telecommunication SystemsPublications

Page Content

to Navigation

Publications Tim Jungnickel

A Constructive Proof for FLP
Citation key bisping.2016.itp
Author 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
Title of Book International Conference on Interactive Theorem Proving
Year 2016
Publisher Springer
Series LNCS
Download Bibtex entry


Quick Access

Schnellnavigation zur Seite über Nummerneingabe