ITU

Hybrid Extensions in a Logical Framework

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

Standard

Hybrid Extensions in a Logical Framework. / Schürmann, Carsten; Brock-Nannestad, Taus; Guenot, Nicolas; Murawska, Agata.

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

Harvard

Schürmann, C, Brock-Nannestad, T, Guenot, N & Murawska, A 2014, Hybrid Extensions in a Logical Framework. in LFMTP '14 Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice., 6, Association for Computing Machinery.

APA

Schürmann, C., Brock-Nannestad, T., Guenot, N., & Murawska, A. (2014). Hybrid Extensions in a Logical Framework. In LFMTP '14 Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice [6] Association for Computing Machinery.

Vancouver

Schürmann C, Brock-Nannestad T, Guenot N, Murawska A. Hybrid Extensions in a Logical Framework. In LFMTP '14 Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice. Association for Computing Machinery. 2014. 6

Author

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

Bibtex

@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",

}

RIS

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 -

ID: 78906359