%0 Journal Article %1 journals/lu/DiaconescuMT14 %A Diaconescu, Razvan %A Mossakowski, Till %A Tarlecki, Andrzej %D 2014 %J Logica Universalis %K dblp %N 3-4 %P 393-406 %T The Institution-Theoretic Scope of Logic Theorems. %U http://dblp.uni-trier.de/db/journals/lu/lu8.html#DiaconescuMT14 %V 8

@article{journals/lu/DiaconescuMT14, added-at = {2022-10-02T00:00:00.000+0200}, author = {Diaconescu, Razvan and Mossakowski, Till and Tarlecki, Andrzej}, biburl = {https://www.bibsonomy.org/bibtex/2e502c6538e14c80d629e9d9248c71c4c/dblp}, ee = {https://doi.org/10.1007/s11787-013-0093-x}, interhash = {c01646492de22cd5148e2f4648ed95e1}, intrahash = {e502c6538e14c80d629e9d9248c71c4c}, journal = {Logica Universalis}, keywords = {dblp}, number = {3-4}, pages = {393-406}, timestamp = {2024-04-08T21:13:36.000+0200}, title = {The Institution-Theoretic Scope of Logic Theorems.}, url = {http://dblp.uni-trier.de/db/journals/lu/lu8.html#DiaconescuMT14}, volume = 8, year = 2014 }