Name Card

Full name Familienname, Vorname

Cerna, David

Own Publications Eigene Publikationen

Results 1-3 of 3 (Search time: 0.001 seconds).

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Cerna, David ; Leitsch, Alexander ; Reis, Giselle ; Wolfsteiner, Simon Peter	Ceres in intuitionistic logic	Artikel Article	Oct-2017
	2		Leitsch, Alexander ; Cerna, David	Schematic Cut elimination and the Ordered Pigeonhole Principle	Preprint Preprint	2016
	3		Leitsch, Alexander ; Cerna, David	Schematic Cut Elimination and the Ordered Pigeonhole Principle	Konferenzbeitrag Inproceedings	2016