---
_id: '340'
author:
- first_name: Philipp
  full_name: Korth, Philipp
  last_name: Korth
citation:
  ama: Korth P. <i>Untersuchung transitiver Eigenschaften der Technik “Programs from
    Proofs.”</i> Universität Paderborn; 2014.
  apa: Korth, P. (2014). <i>Untersuchung transitiver Eigenschaften der Technik “Programs
    from Proofs.”</i> Universität Paderborn.
  bibtex: '@book{Korth_2014, title={Untersuchung transitiver Eigenschaften der Technik
    “Programs from Proofs”}, publisher={Universität Paderborn}, author={Korth, Philipp},
    year={2014} }'
  chicago: Korth, Philipp. <i>Untersuchung transitiver Eigenschaften der Technik “Programs
    from Proofs.”</i> Universität Paderborn, 2014.
  ieee: P. Korth, <i>Untersuchung transitiver Eigenschaften der Technik “Programs
    from Proofs.”</i> Universität Paderborn, 2014.
  mla: Korth, Philipp. <i>Untersuchung transitiver Eigenschaften der Technik “Programs
    from Proofs.”</i> Universität Paderborn, 2014.
  short: P. Korth, Untersuchung transitiver Eigenschaften der Technik “Programs from
    Proofs,” Universität Paderborn, 2014.
date_created: 2017-10-17T12:41:58Z
date_updated: 2022-01-06T06:59:14Z
department:
- _id: '77'
language:
- iso: ger
project:
- _id: '1'
  name: SFB 901
- _id: '12'
  name: SFB 901 - Subprojekt B4
- _id: '3'
  name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Heike
  full_name: Wehrheim, Heike
  last_name: Wehrheim
title: Untersuchung transitiver Eigenschaften der Technik "Programs from Proofs"
type: bachelorsthesis
user_id: '15504'
year: '2014'
...