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

Programming Logic and Semantics

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Originalsprog	Engelsk
Titel	LFMTP '14 Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice
Forlag	Association for Computing Machinery
Publikationsdato	2014
Artikelnummer	6
ISBN (Trykt)	978-1-4503-2817-3
Status	Udgivet - 2014

Citationsformater

@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.

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › 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 -