Monad-independent Dynamic Logic in HasCasl. Schröder, L. & Mossakowski, T. J. Log. Comput. (LOGCOM), 14(4):571-619, 2004. Paper bibtex @article{ dblp4131571,
title = {Monad-independent Dynamic Logic in HasCasl},
author = {Lutz Schröder and Till Mossakowski},
author_short = {Schröder, L. and Mossakowski, T.},
bibtype = {article},
type = {article},
year = {2004},
key = {dblp4131571},
id = {dblp4131571},
biburl = {http://www.dblp.org/rec/bibtex/journals/logcom/SchroderM04},
url = {http://dx.doi.org/10.1093/logcom/14.4.571},
journal = {J. Log. Comput. (LOGCOM)},
pages = {571-619},
number = {4},
volume = {14},
text = {J. Log. Comput. (LOGCOM) 14(4):571-619 (2004)}
}
Downloads: 0
{"_id":"ZdsvCKNxr5yrGbWuF","bibbaseid":"schrder-mossakowski-monadindependentdynamiclogicinhascasl-2004","downloads":0,"creationDate":"2016-05-07T17:06:47.390Z","title":"Monad-independent Dynamic Logic in HasCasl","author_short":["Schröder, L.","Mossakowski, T."],"year":2004,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/logcom/SchroderM04","bibdata":{"title":"Monad-independent Dynamic Logic in HasCasl","author":["Lutz Schröder","Till Mossakowski"],"author_short":["Schröder, L.","Mossakowski, T."],"bibtype":"article","type":"article","year":"2004","key":"dblp4131571","id":"dblp4131571","biburl":"http://www.dblp.org/rec/bibtex/journals/logcom/SchroderM04","url":"http://dx.doi.org/10.1093/logcom/14.4.571","journal":"J. Log. Comput. (LOGCOM)","pages":"571-619","number":"4","volume":"14","text":"J. Log. Comput. (LOGCOM) 14(4):571-619 (2004)","bibtex":"@article{ dblp4131571,\n title = {Monad-independent Dynamic Logic in HasCasl},\n author = {Lutz Schröder and Till Mossakowski},\n author_short = {Schröder, L. and Mossakowski, T.},\n bibtype = {article},\n type = {article},\n year = {2004},\n key = {dblp4131571},\n id = {dblp4131571},\n biburl = {http://www.dblp.org/rec/bibtex/journals/logcom/SchroderM04},\n url = {http://dx.doi.org/10.1093/logcom/14.4.571},\n journal = {J. Log. Comput. (LOGCOM)},\n pages = {571-619},\n number = {4},\n volume = {14},\n text = {J. Log. Comput. (LOGCOM) 14(4):571-619 (2004)}\n}","bibbaseid":"schrder-mossakowski-monadindependentdynamiclogicinhascasl-2004","role":"author","urls":{"Paper":"http://dx.doi.org/10.1093/logcom/14.4.571"},"downloads":0},"search_terms":["monad","independent","dynamic","logic","hascasl","schröder","mossakowski"],"keywords":[],"authorIDs":[],"dataSources":["9fEKwHE9TxEzMaMgN"]}