Monad-Independent Dynamic Logic in Has Casl. Schröder, L. & Mossakowski, T. In Proceedings of WADT, pages 425-441, 2002. Paper bibtex @inproceedings{ dblp4352241,
title = {Monad-Independent Dynamic Logic in Has Casl},
author = {Lutz Schröder and Till Mossakowski},
author_short = {Schröder, L. and Mossakowski, T.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2002},
key = {dblp4352241},
id = {dblp4352241},
biburl = {http://www.dblp.org/rec/bibtex/conf/wadt/SchroderM02},
url = {http://dx.doi.org/10.1007/978-3-540-40020-2_25},
conference = {WADT},
pages = {425-441},
text = {WADT 2002:425-441},
booktitle = {Proceedings of WADT}
}
Downloads: 0
{"_id":"Tmm57pMdcjGBDbiZS","bibbaseid":"schrder-mossakowski-monadindependentdynamiclogicinhascasl-2002","downloads":0,"creationDate":"2016-05-07T17:06:47.463Z","title":"Monad-Independent Dynamic Logic in Has Casl","author_short":["Schröder, L.","Mossakowski, T."],"year":2002,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/wadt/SchroderM02","bibdata":{"title":"Monad-Independent Dynamic Logic in Has Casl","author":["Lutz Schröder","Till Mossakowski"],"author_short":["Schröder, L.","Mossakowski, T."],"bibtype":"inproceedings","type":"inproceedings","year":"2002","key":"dblp4352241","id":"dblp4352241","biburl":"http://www.dblp.org/rec/bibtex/conf/wadt/SchroderM02","url":"http://dx.doi.org/10.1007/978-3-540-40020-2_25","conference":"WADT","pages":"425-441","text":"WADT 2002:425-441","booktitle":"Proceedings of WADT","bibtex":"@inproceedings{ dblp4352241,\n title = {Monad-Independent Dynamic Logic in Has Casl},\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 = {2002},\n key = {dblp4352241},\n id = {dblp4352241},\n biburl = {http://www.dblp.org/rec/bibtex/conf/wadt/SchroderM02},\n url = {http://dx.doi.org/10.1007/978-3-540-40020-2_25},\n conference = {WADT},\n pages = {425-441},\n text = {WADT 2002:425-441},\n booktitle = {Proceedings of WADT}\n}","bibbaseid":"schrder-mossakowski-monadindependentdynamiclogicinhascasl-2002","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-540-40020-2_25"},"downloads":0},"search_terms":["monad","independent","dynamic","logic","casl","schröder","mossakowski"],"keywords":[],"authorIDs":[],"dataSources":["3uqPur2Mw2N3GZezn"]}