Equivalences among Various Logical Frameworks of Partial Algebras. Mossakowski, T. In Proceedings of Computer Science Logic (CSL), pages 403-433, 1995. ![Equivalences among Various Logical Frameworks of Partial Algebras [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex @inproceedings{ dblp4714695,
title = {Equivalences among Various Logical Frameworks of Partial Algebras},
author = {Till Mossakowski},
author_short = {Mossakowski, T.},
bibtype = {inproceedings},
type = {inproceedings},
year = {1995},
key = {dblp4714695},
id = {dblp4714695},
biburl = {http://www.dblp.org/rec/bibtex/conf/csl/Mossakoski95},
url = {http://dx.doi.org/10.1007/3-540-61377-3_51},
conference = {CSL},
pages = {403-433},
text = {CSL 1995:403-433},
booktitle = {Proceedings of Computer Science Logic (CSL)}
}
Downloads: 0
{"_id":"x2dQhjg7JrBop48vP","bibbaseid":"mossakowski-equivalencesamongvariouslogicalframeworksofpartialalgebras-1995","downloads":0,"creationDate":"2016-05-07T17:06:47.514Z","title":"Equivalences among Various Logical Frameworks of Partial Algebras","author_short":["Mossakowski, T."],"year":1995,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/csl/Mossakoski95","bibdata":{"title":"Equivalences among Various Logical Frameworks of Partial Algebras","author":["Till Mossakowski"],"author_short":["Mossakowski, T."],"bibtype":"inproceedings","type":"inproceedings","year":"1995","key":"dblp4714695","id":"dblp4714695","biburl":"http://www.dblp.org/rec/bibtex/conf/csl/Mossakoski95","url":"http://dx.doi.org/10.1007/3-540-61377-3_51","conference":"CSL","pages":"403-433","text":"CSL 1995:403-433","booktitle":"Proceedings of Computer Science Logic (CSL)","bibtex":"@inproceedings{ dblp4714695,\n title = {Equivalences among Various Logical Frameworks of Partial Algebras},\n author = {Till Mossakowski},\n author_short = {Mossakowski, T.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {1995},\n key = {dblp4714695},\n id = {dblp4714695},\n biburl = {http://www.dblp.org/rec/bibtex/conf/csl/Mossakoski95},\n url = {http://dx.doi.org/10.1007/3-540-61377-3_51},\n conference = {CSL},\n pages = {403-433},\n text = {CSL 1995:403-433},\n booktitle = {Proceedings of Computer Science Logic (CSL)}\n}","bibbaseid":"mossakowski-equivalencesamongvariouslogicalframeworksofpartialalgebras-1995","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/3-540-61377-3_51"},"downloads":0},"search_terms":["equivalences","various","logical","frameworks","partial","algebras","mossakowski"],"keywords":[],"authorIDs":[],"dataSources":["gLHF9Nj7py9XCWJQ2"]}