Hybrid Extensions in a Logical Framework

Carsten Schürmann; Taus Brock-Nannestad; Nicolas Guenot; Agata Murawska

Hybrid Extensions in a Logical Framework

Carsten Schürmann, Taus Brock-Nannestad, Nicolas Guenot, Agata Murawska

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	LFMTP '14 Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice
Publisher	Association for Computing Machinery
Publication date	2014
Article number	6
ISBN (Print)	978-1-4503-2817-3
Publication status	Published - 2014

Cite this

@inproceedings{a25bd25f9e394060a6ed9a6561274273,

title = "Hybrid Extensions in a Logical Framework",

author = "Carsten Sch{\"u}rmann and Taus Brock-Nannestad and Nicolas Guenot and Agata Murawska",

year = "2014",

language = "English",

isbn = "978-1-4503-2817-3",

booktitle = "LFMTP '14 Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice",

publisher = "Association for Computing Machinery",

address = "United States",

}

Hybrid Extensions in a Logical Framework. / Schürmann, Carsten; Brock-Nannestad, Taus; Guenot, Nicolas et al.
LFMTP '14 Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice. Association for Computing Machinery, 2014. 6.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

TY - GEN

T1 - Hybrid Extensions in a Logical Framework

AU - Schürmann, Carsten

AU - Brock-Nannestad, Taus

AU - Guenot, Nicolas

AU - Murawska, Agata

PY - 2014

Y1 - 2014

M3 - Article in proceedings

SN - 978-1-4503-2817-3

BT - LFMTP '14 Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice

PB - Association for Computing Machinery

ER -