%0 Conference Paper %1 conf/amast/Mossakowski06 %A Mossakowski, Till %B AMAST %D 2006 %E Johnson, Michael %E Vene, Varmo %I Springer %K dblp %P 3-4 %T Monad-Based Logics for Computational Effects. %U http://dblp.uni-trier.de/db/conf/amast/amast2006.html#Mossakowski06 %V 4019 %@ 3-540-35633-9

@inproceedings{conf/amast/Mossakowski06, added-at = {2022-10-02T00:00:00.000+0200}, author = {Mossakowski, Till}, biburl = {https://www.bibsonomy.org/bibtex/2ab6cac36d0b44f55ee6377824fdafc0e/dblp}, booktitle = {AMAST}, crossref = {conf/amast/2006}, editor = {Johnson, Michael and Vene, Varmo}, ee = {https://doi.org/10.1007/11784180_3}, interhash = {72eacc20b5f7c58d77f059585d88161d}, intrahash = {ab6cac36d0b44f55ee6377824fdafc0e}, isbn = {3-540-35633-9}, keywords = {dblp}, pages = {3-4}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T19:11:21.000+0200}, title = {Monad-Based Logics for Computational Effects.}, url = {http://dblp.uni-trier.de/db/conf/amast/amast2006.html#Mossakowski06}, volume = 4019, year = 2006 }