Publikation
Mihai Codescu; Fulya Horozal; Aivaras Jakubauskas; Till Mossakowski; Florian Rabe
In: Narciso Martí-Oliet; Miguel Palomino (Hrsg.). Proceedings of the 21st International Workshop on Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-12), Recent Trends in Algebraic Development Techniques, June 7-10, Salamanca, Spain, Pages 111-126, Lecture Notes in Computer Science (LNCS), Vol. 7841, Springer, 2013.
@inproceedings{pub6912, author = { Codescu, Mihai and Horozal, Fulya and Jakubauskas, Aivaras and Mossakowski, Till and Rabe, Florian }, editor = { Martí-Oliet, Narciso and Palomino, Miguel }, title = {Compiling Logics}, booktitle = {Proceedings of the 21st International Workshop on Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-12), Recent Trends in Algebraic Development Techniques, June 7-10, Salamanca, Spain}, series = {Lecture Notes in Computer Science (LNCS)}, year = {2013}, volume = {7841}, pages = {111--126}, publisher = {Springer} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023