%0 Conference Paper %1 conf/birthday/AndrekaMN12 %A Andréka, Hajnal %A Mikulás, Szabolcs %A Németi, István %B Logic and Program Semantics %D 2012 %E Constable, Robert L. %E Silva, Alexandra %I Springer %K dblp %P 1-11 %T Residuated Kleene Algebras. %U http://dblp.uni-trier.de/db/conf/birthday/kozen2012.html#AndrekaMN12 %V 7230 %@ 978-3-642-29484-6

@inproceedings{conf/birthday/AndrekaMN12, added-at = {2017-05-23T00:00:00.000+0200}, author = {Andréka, Hajnal and Mikulás, Szabolcs and Németi, István}, biburl = {https://www.bibsonomy.org/bibtex/2eb54961a3793052b43058f64dc090b70/dblp}, booktitle = {Logic and Program Semantics}, crossref = {conf/birthday/2012kozen}, editor = {Constable, Robert L. and Silva, Alexandra}, ee = {https://doi.org/10.1007/978-3-642-29485-3_1}, interhash = {858ee15e6422a73c7c950404691865a5}, intrahash = {eb54961a3793052b43058f64dc090b70}, isbn = {978-3-642-29484-6}, keywords = {dblp}, pages = {1-11}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:20:30.000+0200}, title = {Residuated Kleene Algebras.}, url = {http://dblp.uni-trier.de/db/conf/birthday/kozen2012.html#AndrekaMN12}, volume = 7230, year = 2012 }