thesis Philipp Korth author Heike Wehrheim supervisor 77 department SFB 901 project SFB 901 - Subprojekt B4 project SFB 901 - Project Area B project Universität Paderborn2014 ger Korth P. <i>Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs.”</i> Universität Paderborn; 2014. P. Korth, Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs,” Universität Paderborn, 2014. Korth, Philipp. <i>Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs.”</i> Universität Paderborn, 2014. @book{Korth_2014, title={Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs”}, publisher={Universität Paderborn}, author={Korth, Philipp}, year={2014} } Korth, P. (2014). <i>Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs.”</i> Universität Paderborn. Korth, Philipp. <i>Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs.”</i> Universität Paderborn, 2014. P. Korth, <i>Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs.”</i> Universität Paderborn, 2014. 3402017-10-17T12:41:58Z2022-01-06T06:59:14Z