Publikation
Till Mossakowski; Andrzej Tarlecki; Razvan Diaconescu
Pages 95-124, Logica Universalis, Vol. 3 (1), 2007.
@misc{pub3937, author = { Mossakowski, Till and Tarlecki, Andrzej and Diaconescu, Razvan }, title = {What is a logic translation?}, series = {Logica Universalis}, year = {2007}, volume = {3 (1)}, pages = {95--124}, note = {Winner of the universal logic 2007 contest} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023