Coalgebraic Modal Logic in CoCasl. Schröder, L. & Mossakowski, T. In Proceedings of WADT, pages 127-141, 2006. Paper bibtex @inproceedings{ dblp3898290,
title = {Coalgebraic Modal Logic in CoCasl},
author = {Lutz Schröder and Till Mossakowski},
author_short = {Schröder, L. and Mossakowski, T.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2006},
key = {dblp3898290},
id = {dblp3898290},
biburl = {http://www.dblp.org/rec/bibtex/conf/wadt/SchroderM06},
url = {http://dx.doi.org/10.1007/978-3-540-71998-4_8},
conference = {WADT},
pages = {127-141},
text = {WADT 2006:127-141},
booktitle = {Proceedings of WADT}
}
Downloads: 0
{"_id":"PSBFzigFzhqeQs4rj","bibbaseid":"schrder-mossakowski-coalgebraicmodallogicincocasl-2006","downloads":0,"creationDate":"2016-05-07T17:06:47.374Z","title":"Coalgebraic Modal Logic in CoCasl","author_short":["Schröder, L.","Mossakowski, T."],"year":2006,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/wadt/SchroderM06","bibdata":{"title":"Coalgebraic Modal Logic in CoCasl","author":["Lutz Schröder","Till Mossakowski"],"author_short":["Schröder, L.","Mossakowski, T."],"bibtype":"inproceedings","type":"inproceedings","year":"2006","key":"dblp3898290","id":"dblp3898290","biburl":"http://www.dblp.org/rec/bibtex/conf/wadt/SchroderM06","url":"http://dx.doi.org/10.1007/978-3-540-71998-4_8","conference":"WADT","pages":"127-141","text":"WADT 2006:127-141","booktitle":"Proceedings of WADT","bibtex":"@inproceedings{ dblp3898290,\n title = {Coalgebraic Modal Logic in CoCasl},\n author = {Lutz Schröder and Till Mossakowski},\n author_short = {Schröder, L. and Mossakowski, T.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2006},\n key = {dblp3898290},\n id = {dblp3898290},\n biburl = {http://www.dblp.org/rec/bibtex/conf/wadt/SchroderM06},\n url = {http://dx.doi.org/10.1007/978-3-540-71998-4_8},\n conference = {WADT},\n pages = {127-141},\n text = {WADT 2006:127-141},\n booktitle = {Proceedings of WADT}\n}","bibbaseid":"schrder-mossakowski-coalgebraicmodallogicincocasl-2006","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-540-71998-4_8"},"downloads":0},"search_terms":["coalgebraic","modal","logic","cocasl","schröder","mossakowski"],"keywords":[],"authorIDs":[],"dataSources":["SzcFgdfZacs4ZCnXF"]}