Alignment-based Translations Across Formal Systems Using Interface Theories

Müller D, Rabe F, Rothgang C, Liu Y (2017)

Publication Type: Conference contribution

Publication year: 2017

Publisher: Open Publishing Association

Pages Range: 77--93

Conference Proceedings Title: Proof eXchange for Theorem Proving

Authors with CRIS profile

Dennis Müller Professur für Wissensrepräsentation und -verarbeitung Florian Rabe Professur für Wissensrepräsentation und -verarbeitung

How to cite

APA:

Müller, D., Rabe, F., Rothgang, C., & Liu, Y. (2017). Alignment-based Translations Across Formal Systems Using Interface Theories. In Dubois C, {Woltzenlogel Paleo} B (Eds.), Proof eXchange for Theorem Proving (pp. 77--93). Open Publishing Association.

MLA:

Müller, Dennis, et al. "Alignment-based Translations Across Formal Systems Using Interface Theories." Proceedings of the PxTP 2017 Ed. Dubois C, {Woltzenlogel Paleo} B, Open Publishing Association, 2017. 77--93.

BibTeX: Download