You are not logged in |
Back to the list of the institutes
Publications
Journal: Logica Universalis
Number of publications: 22014
- Razvan Diaconescu, Till Mossakowski, Andrzej Tarlecki , The Institution-Theoretic Scope of Logic Theorems, Logica Universalis, 2014. See in PBN
2009
- R. Diaconescu, T. Mossakowski, Andrzej Tarlecki , What is a Logic Translation?, Logica Universalis, 2009. See in PBN
