Publikation

What is a logic translation?

Till Mossakowski; Andrzej Tarlecki; Razvan Diaconescu

Pages 95-124, Logica Universalis, Vol. 3 (1), 2007.

Weitere Links

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence