%0 Journal Article %1 journals/lu/MossakowskiDT09 %A Mossakowski, Till %A Diaconescu, Razvan %A Tarlecki, Andrzej %D 2009 %J Logica Universalis %K dblp %N 1 %P 95-124 %T What is a Logic Translation? %U http://dblp.uni-trier.de/db/journals/lu/lu3.html#MossakowskiDT09 %V 3

@article{journals/lu/MossakowskiDT09, added-at = {2022-10-02T00:00:00.000+0200}, author = {Mossakowski, Till and Diaconescu, Razvan and Tarlecki, Andrzej}, biburl = {https://www.bibsonomy.org/bibtex/2bd94eaa2b1f3df36ae13af1dc8874176/dblp}, ee = {https://doi.org/10.1007/s11787-009-0005-2}, interhash = {4110a9875427129b86cf266dec578408}, intrahash = {bd94eaa2b1f3df36ae13af1dc8874176}, journal = {Logica Universalis}, keywords = {dblp}, number = 1, pages = {95-124}, timestamp = {2024-04-08T21:13:36.000+0200}, title = {What is a Logic Translation?}, url = {http://dblp.uni-trier.de/db/journals/lu/lu3.html#MossakowskiDT09}, volume = 3, year = 2009 }