Theories as Types

Conference contribution
(Original article)


Publication Details

Author(s): Müller D, Kohlhase M, Rabe F
Publisher: Springer Verlag
Publication year: 2018
Pages range: 575-590
ISBN: 9783319942049


FAU Authors / FAU Editors

Kohlhase, Michael Prof. Dr.
Professur für Wissensrepräsentation und -verarbeitung
Müller, Dennis
Professur für Wissensrepräsentation und -verarbeitung
Rabe, Florian PD Dr.
Professur für Wissensrepräsentation und -verarbeitung


How to cite

APA:
Müller, D., Kohlhase, M., & Rabe, F. (2018). Theories as Types. In Proceedings of the 9th International Joint Conference on Automated Reasoning, IJCAR 2018 Held as Part of the Federated Logic Conference, FloC 2018 (pp. 575-590). Springer Verlag.

MLA:
Müller, Dennis, Michael Kohlhase, and Florian Rabe. "Theories as Types." Proceedings of the 9th International Joint Conference on Automated Reasoning, IJCAR 2018 Held as Part of the Federated Logic Conference, FloC 2018 Springer Verlag, 2018. 575-590.

BibTeX: 

Last updated on 2019-16-04 at 00:23