%0 Conference Paper %1 conf/calco/BonchiM09 %A Bonchi, Filippo %A Montanari, Ugo %B CALCO %D 2009 %E Kurz, Alexander %E Lenisa, Marina %E Tarlecki, Andrzej %I Springer %K dblp %P 173-190 %T Coalgebraic Symbolic Semantics. %U http://dblp.uni-trier.de/db/conf/calco/calco2009.html#BonchiM09 %V 5728 %@ 978-3-642-03740-5

@inproceedings{conf/calco/BonchiM09, added-at = {2021-10-14T00:00:00.000+0200}, author = {Bonchi, Filippo and Montanari, Ugo}, biburl = {https://www.bibsonomy.org/bibtex/2b16facd22dfd4b8d1d8222c69a47291b/dblp}, booktitle = {CALCO}, crossref = {conf/calco/2009}, editor = {Kurz, Alexander and Lenisa, Marina and Tarlecki, Andrzej}, ee = {https://doi.org/10.1007/978-3-642-03741-2_13}, interhash = {0997dc8ed276b0f5cca7982f3be7a7e3}, intrahash = {b16facd22dfd4b8d1d8222c69a47291b}, isbn = {978-3-642-03740-5}, keywords = {dblp}, pages = {173-190}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T04:26:59.000+0200}, title = {Coalgebraic Symbolic Semantics.}, url = {http://dblp.uni-trier.de/db/conf/calco/calco2009.html#BonchiM09}, volume = 5728, year = 2009 }