@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)}
}

{"_id":"WZ36ELzMECsaNNGs7","bibbaseid":"diaconescu-mossakowski-tarlecki-theinstitutiontheoreticscopeoflogictheorems-2014","downloads":0,"creationDate":"2016-05-07T17:06:47.177Z","title":"The Institution-Theoretic Scope of Logic Theorems","author_short":["Diaconescu, R.","Mossakowski, T.","Tarlecki, A."],"year":2014,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/lu/DiaconescuMT14","bibdata":{"title":"The Institution-Theoretic Scope of Logic Theorems","author":["Razvan Diaconescu","Till Mossakowski","Andrzej Tarlecki"],"author_short":["Diaconescu, R.","Mossakowski, T.","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)","bibtex":"@article{ dblp2205614,\n title = {The Institution-Theoretic Scope of Logic Theorems},\n author = {Razvan Diaconescu and Till Mossakowski and Andrzej Tarlecki},\n author_short = {Diaconescu, R. and Mossakowski, T. and Tarlecki, A.},\n bibtype = {article},\n type = {article},\n year = {2014},\n key = {dblp2205614},\n id = {dblp2205614},\n biburl = {http://www.dblp.org/rec/bibtex/journals/lu/DiaconescuMT14},\n url = {http://dx.doi.org/10.1007/s11787-013-0093-x},\n journal = {Logica Universalis (LU)},\n pages = {393-406},\n number = {3-4},\n volume = {8},\n text = {Logica Universalis (LU) 8(3-4):393-406 (2014)}\n}","bibbaseid":"diaconescu-mossakowski-tarlecki-theinstitutiontheoreticscopeoflogictheorems-2014","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/s11787-013-0093-x"},"downloads":0},"search_terms":["institution","theoretic","scope","logic","theorems","diaconescu","mossakowski","tarlecki"],"keywords":[],"authorIDs":[],"dataSources":["v3KiwutGzCSJmvn7y"]}