Using Limits of Parchment to Systematically Construct Institutions of partial Algebras. Mossakowski, T. In Proceedings of COMPASS/ADT, pages 379-393, 1995. ![Using Limits of Parchment to Systematically Construct Institutions of partial Algebras [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex @inproceedings{ dblp4712381,
title = {Using Limits of Parchment to Systematically Construct Institutions of partial Algebras},
author = {Till Mossakowski},
author_short = {Mossakowski, T.},
bibtype = {inproceedings},
type = {inproceedings},
year = {1995},
key = {dblp4712381},
id = {dblp4712381},
biburl = {http://www.dblp.org/rec/bibtex/conf/compass/Mossakowski95},
url = {http://dx.doi.org/10.1007/3-540-61629-2_54},
conference = {COMPASS/ADT},
pages = {379-393},
text = {COMPASS/ADT 1995:379-393},
booktitle = {Proceedings of COMPASS/ADT}
}
Downloads: 0
{"_id":"JcjHanximrBeXbr9q","bibbaseid":"mossakowski-usinglimitsofparchmenttosystematicallyconstructinstitutionsofpartialalgebras-1995","downloads":0,"creationDate":"2016-05-07T17:06:47.513Z","title":"Using Limits of Parchment to Systematically Construct Institutions of partial Algebras","author_short":["Mossakowski, T."],"year":1995,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/compass/Mossakowski95","bibdata":{"title":"Using Limits of Parchment to Systematically Construct Institutions of partial Algebras","author":["Till Mossakowski"],"author_short":["Mossakowski, T."],"bibtype":"inproceedings","type":"inproceedings","year":"1995","key":"dblp4712381","id":"dblp4712381","biburl":"http://www.dblp.org/rec/bibtex/conf/compass/Mossakowski95","url":"http://dx.doi.org/10.1007/3-540-61629-2_54","conference":"COMPASS/ADT","pages":"379-393","text":"COMPASS/ADT 1995:379-393","booktitle":"Proceedings of COMPASS/ADT","bibtex":"@inproceedings{ dblp4712381,\n title = {Using Limits of Parchment to Systematically Construct Institutions of partial Algebras},\n author = {Till Mossakowski},\n author_short = {Mossakowski, T.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {1995},\n key = {dblp4712381},\n id = {dblp4712381},\n biburl = {http://www.dblp.org/rec/bibtex/conf/compass/Mossakowski95},\n url = {http://dx.doi.org/10.1007/3-540-61629-2_54},\n conference = {COMPASS/ADT},\n pages = {379-393},\n text = {COMPASS/ADT 1995:379-393},\n booktitle = {Proceedings of COMPASS/ADT}\n}","bibbaseid":"mossakowski-usinglimitsofparchmenttosystematicallyconstructinstitutionsofpartialalgebras-1995","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/3-540-61629-2_54"},"downloads":0},"search_terms":["using","limits","parchment","systematically","construct","institutions","partial","algebras","mossakowski"],"keywords":[],"authorIDs":[],"dataSources":["us3w6W6KgK82LSPCC"]}