A proof theoretic interpretation of model theoretic hiding

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

Publication Status: Published

Publication Type: Conference contribution, Original article

Publication year: 2012

Pages Range: 118-138

Event location: Etelsen

ISBN: 9783642284113

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

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)

How to cite

APA:

Codescu, S.M., Horozal, F., Kohlhase, M., Mossakowski, T., & Rabe, F. (2012). A proof theoretic interpretation of model theoretic hiding. In Proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010 (pp. 118-138). Etelsen.

MLA:

Codescu, Silvestru Mihai, et al. "A proof theoretic interpretation of model theoretic hiding." Proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010, Etelsen 2012. 118-138.

BibTeX: Download