Hybrid Extensions in a Logical Framework - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Taus Brock-Nannestad, Nicolas Guenot, Agata Murawska, Carsten Schürmann. Hybrid Extensions in a Logical Framework. In Amy P. Felty, Brigitte Pientka, editors, Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP '14, Vienna, Austria, July 17, 2014. ACM, 2014. [doi]

This author has not been identified. Look up 'Taus Brock-Nannestad' in GoogleThis author has not been identified. Look up 'Nicolas Guenot' in GoogleThis author has not been identified. Look up 'Agata Murawska' in GoogleThis author has not been identified. Look up 'Carsten Schürmann' in Google

runs on WebDSL