Comorphism-Based Grothendieck Logics. Mossakowski, T. In Proceedings of Mathematical Foundations of Computer Science (MFCS), pages 593-604, 2002. ![Comorphism-Based Grothendieck Logics [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex @inproceedings{ dblp4333030,
title = {Comorphism-Based Grothendieck Logics},
author = {Till Mossakowski},
author_short = {Mossakowski, T.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2002},
key = {dblp4333030},
id = {dblp4333030},
biburl = {http://www.dblp.org/rec/bibtex/conf/mfcs/Mossakowski02},
url = {http://dx.doi.org/10.1007/3-540-45687-2_49},
conference = {MFCS},
pages = {593-604},
text = {MFCS 2002:593-604},
booktitle = {Proceedings of Mathematical Foundations of Computer Science (MFCS)}
}
Downloads: 0
{"_id":"ikM64toi4ug5ZhStS","bibbaseid":"mossakowski-comorphismbasedgrothendiecklogics-2002","downloads":0,"creationDate":"2016-05-07T17:06:47.432Z","title":"Comorphism-Based Grothendieck Logics","author_short":["Mossakowski, T."],"year":2002,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/mfcs/Mossakowski02","bibdata":{"title":"Comorphism-Based Grothendieck Logics","author":["Till Mossakowski"],"author_short":["Mossakowski, T."],"bibtype":"inproceedings","type":"inproceedings","year":"2002","key":"dblp4333030","id":"dblp4333030","biburl":"http://www.dblp.org/rec/bibtex/conf/mfcs/Mossakowski02","url":"http://dx.doi.org/10.1007/3-540-45687-2_49","conference":"MFCS","pages":"593-604","text":"MFCS 2002:593-604","booktitle":"Proceedings of Mathematical Foundations of Computer Science (MFCS)","bibtex":"@inproceedings{ dblp4333030,\n title = {Comorphism-Based Grothendieck Logics},\n author = {Till Mossakowski},\n author_short = {Mossakowski, T.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2002},\n key = {dblp4333030},\n id = {dblp4333030},\n biburl = {http://www.dblp.org/rec/bibtex/conf/mfcs/Mossakowski02},\n url = {http://dx.doi.org/10.1007/3-540-45687-2_49},\n conference = {MFCS},\n pages = {593-604},\n text = {MFCS 2002:593-604},\n booktitle = {Proceedings of Mathematical Foundations of Computer Science (MFCS)}\n}","bibbaseid":"mossakowski-comorphismbasedgrothendiecklogics-2002","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/3-540-45687-2_49"},"downloads":0},"search_terms":["comorphism","based","grothendieck","logics","mossakowski"],"keywords":[],"authorIDs":[],"dataSources":["LZXMhdqFMbLkueuBP"]}