Towards logical frameworks in the heterogeneous tool set hets

Codescu SM, Horozal F, Kohlhase M, Mossakowski T, Rabe F, Sojakova K (2012)

Publication Status: Published

Publication Type: Conference contribution, Original article

Publication year: 2012

Pages Range: 139-159

Event location: Etelsen

ISBN: 9783642284113

DOI: 10.1007/978-3-642-28412-0_10

Authors with CRIS profile

Silvestru Mihai Codescu Lehrstuhl für Informatik 8 (Theoretische Informatik) Michael Kohlhase Professur für Wissensrepräsentation und -verarbeitung Florian Rabe Professur für Wissensrepräsentation und -verarbeitung

Involved external institutions

Otto-von-Guericke-Universität Magdeburg DE Germany (DE) Cornell University US United States (USA) (US)

How to cite

APA:

Codescu, S.M., Horozal, F., Kohlhase, M., Mossakowski, T., Rabe, F., & Sojakova, K. (2012). Towards logical frameworks in the heterogeneous tool set hets. In Proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010 (pp. 139-159). Etelsen.

MLA:

Codescu, Silvestru Mihai, et al. "Towards logical frameworks in the heterogeneous tool set hets." Proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010, Etelsen 2012. 139-159.

BibTeX: Download