The Institution-Theoretic Scope of Logic Theorems. Diaconescu, R.; Mossakowski, T.; and Tarlecki, A. Logica Universalis (LU), 8(3-4):393-406, 2014.
Paper bibtex @article{ dblp2205614,
title = {The Institution-Theoretic Scope of Logic Theorems},
author = {Razvan Diaconescu and Till Mossakowski and Andrzej Tarlecki},
author_short = {Diaconescu, R. and Mossakowski, T. and Tarlecki, A.},
bibtype = {article},
type = {article},
year = {2014},
key = {dblp2205614},
id = {dblp2205614},
biburl = {http://www.dblp.org/rec/bibtex/journals/lu/DiaconescuMT14},
url = {http://dx.doi.org/10.1007/s11787-013-0093-x},
journal = {Logica Universalis (LU)},
pages = {393-406},
number = {3-4},
volume = {8},
text = {Logica Universalis (LU) 8(3-4):393-406 (2014)}
}