LFMTP: Proceedings of the Workshop on Logical Frameworks: Meta-Theory and Practice

Rabe F (2017)

Publication Type: Edited Volume

Publication year: 2017

Editors with CRIS profile

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

How to cite

APA:

Rabe, F. (Ed.) (2017). LFMTP: Proceedings of the Workshop on Logical Frameworks: Meta-Theory and Practice. .

MLA:

Rabe, Florian, ed. LFMTP: Proceedings of the Workshop on Logical Frameworks: Meta-Theory and Practice. 2017.

BibTeX: Download