@article{journals/tcs/CirsteaP07,
  added-at = {2008-01-31T00:00:00.000+0100},
  author = {Cîrstea, Corina and Pattinson, Dirk},
  biburl = {https://www.bibsonomy.org/bibtex/2e2bf3c88e34a0747df1b974fdaca6818/dblp},
  date = {2008-01-31},
  description = {dblp},
  ee = {http://dx.doi.org/10.1016/j.tcs.2007.06.002},
  interhash = {410b492bdd0f1df4ad5ff640611eefc3},
  intrahash = {e2bf3c88e34a0747df1b974fdaca6818},
  journal = {Theor. Comput. Sci.},
  keywords = {dblp},
  number = {1-3},
  pages = {83-108},
  timestamp = {2008-02-14T10:41:00.000+0100},
  title = {Modular construction of complete coalgebraic logics.},
  url = {http://dblp.uni-trier.de/db/journals/tcs/tcs388.html#CirsteaP07},
  volume = 388,
  year = 2007
}

{"_id":"sgcfZLo2P8RPTkjYp","bibbaseid":"crstea-pattinson-modularconstructionofcompletecoalgebraiclogics-2007","authorIDs":[],"author_short":["Cîrstea, C.","Pattinson, D."],"bibdata":{"bibtype":"article","type":"article","added-at":"2008-01-31T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Cîrstea"],"firstnames":["Corina"],"suffixes":[]},{"propositions":[],"lastnames":["Pattinson"],"firstnames":["Dirk"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2e2bf3c88e34a0747df1b974fdaca6818/dblp","date":"2008-01-31","description":"dblp","ee":"http://dx.doi.org/10.1016/j.tcs.2007.06.002","interhash":"410b492bdd0f1df4ad5ff640611eefc3","intrahash":"e2bf3c88e34a0747df1b974fdaca6818","journal":"Theor. Comput. Sci.","keywords":"dblp","number":"1-3","pages":"83-108","timestamp":"2008-02-14T10:41:00.000+0100","title":"Modular construction of complete coalgebraic logics.","url":"http://dblp.uni-trier.de/db/journals/tcs/tcs388.html#CirsteaP07","volume":"388","year":"2007","bibtex":"@article{journals/tcs/CirsteaP07,\n added-at = {2008-01-31T00:00:00.000+0100},\n author = {Cîrstea, Corina and Pattinson, Dirk},\n biburl = {https://www.bibsonomy.org/bibtex/2e2bf3c88e34a0747df1b974fdaca6818/dblp},\n date = {2008-01-31},\n description = {dblp},\n ee = {http://dx.doi.org/10.1016/j.tcs.2007.06.002},\n interhash = {410b492bdd0f1df4ad5ff640611eefc3},\n intrahash = {e2bf3c88e34a0747df1b974fdaca6818},\n journal = {Theor. Comput. Sci.},\n keywords = {dblp},\n number = {1-3},\n pages = {83-108},\n timestamp = {2008-02-14T10:41:00.000+0100},\n title = {Modular construction of complete coalgebraic logics.},\n url = {http://dblp.uni-trier.de/db/journals/tcs/tcs388.html#CirsteaP07},\n volume = 388,\n year = 2007\n}\n\n","author_short":["Cîrstea, C.","Pattinson, D."],"key":"journals/tcs/CirsteaP07","id":"journals/tcs/CirsteaP07","bibbaseid":"crstea-pattinson-modularconstructionofcompletecoalgebraiclogics-2007","role":"author","urls":{"Link":"http://dx.doi.org/10.1016/j.tcs.2007.06.002","Paper":"http://dblp.uni-trier.de/db/journals/tcs/tcs388.html#CirsteaP07"},"keyword":["dblp"],"downloads":0},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/corina?items=1000","creationDate":"2019-05-18T19:26:18.739Z","downloads":0,"keywords":["dblp"],"search_terms":["modular","construction","complete","coalgebraic","logics","cîrstea","pattinson"],"title":"Modular construction of complete coalgebraic logics.","year":2007,"dataSources":["nk4Sfi2ddzBtdLpRN"]}