Home Publications Research Grants Inventions & Patents Awards Additional Research Activities Faculties & Institutions Research Areas

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

Rabe F (2017)

---

Publication Type: Conference contribution

Publication year: 2017

Publisher: University of Udine, Department of Science, Mathematics, Computer Science, and Physics

Authors with CRIS profile

How to cite

APA:

Rabe, F. (2017). LFMTP: Work-in-Progress Proceedings of the Workshop on Logical Frameworks: Meta-Theory and Practice. In Miculan M, Rabe F (Eds.), . University of Udine, Department of Science, Mathematics, Computer Science, and Physics.

MLA:

Rabe, Florian. "LFMTP: Work-in-Progress Proceedings of the Workshop on Logical Frameworks: Meta-Theory and Practice." Ed. Miculan M, Rabe F, University of Udine, Department of Science, Mathematics, Computer Science, and Physics, 2017.

BibTeX: Download