%0 Conference Paper %1 conf/calco/BergerMSS11 %A Berger, Ulrich %A Miyamoto, Kenji %A Schwichtenberg, Helmut %A Seisenberger, Monika %B CALCO %D 2011 %E Corradini, Andrea %E Klin, Bartek %E Cîrstea, Corina %I Springer %K dblp %P 393-399 %T Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras. %U http://dblp.uni-trier.de/db/conf/calco/calco2011.html#BergerMSS11 %V 6859 %@ 978-3-642-22943-5

@inproceedings{conf/calco/BergerMSS11, added-at = {2017-06-01T00:00:00.000+0200}, author = {Berger, Ulrich and Miyamoto, Kenji and Schwichtenberg, Helmut and Seisenberger, Monika}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/26351d5661e2a277a6e288527ccc4ae92/dblp}, booktitle = {CALCO}, crossref = {conf/calco/2011}, editor = {Corradini, Andrea and Klin, Bartek and Cîrstea, Corina}, ee = {https://doi.org/10.1007/978-3-642-22944-2_29}, interhash = {31473898ba9cf0ee52afc1a07dc3f792}, intrahash = {6351d5661e2a277a6e288527ccc4ae92}, isbn = {978-3-642-22943-5}, keywords = {dblp}, pages = {393-399}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T17:54:50.000+0200}, title = {Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras.}, url = {http://dblp.uni-trier.de/db/conf/calco/calco2011.html#BergerMSS11}, volume = 6859, year = 2011 }