%0 Conference Paper %1 conf/wadt/MossakowskiKM14 %A Mossakowski, Till %A Krumnack, Ulf %A Maibaum, Tom %B WADT %D 2014 %E Codescu, Mihai %E Diaconescu, Razvan %E Tutu, Ionut %I Springer %K colimit institution logic monad myown query %P 90-109 %T What Is a Derived Signature Morphism? %U http://dx.doi.org/10.1007/978-3-319-28114-8_6 %V 9463 %@ 978-3-319-28113-1

@inproceedings{conf/wadt/MossakowskiKM14, added-at = {2017-03-13T19:14:48.000+0100}, author = {Mossakowski, Till and Krumnack, Ulf and Maibaum, Tom}, biburl = {https://www.bibsonomy.org/bibtex/2de711b89d49a22803d3a0bb78a65334b/tillmo}, booktitle = {WADT}, editor = {Codescu, Mihai and Diaconescu, Razvan and Tutu, Ionut}, ee = {http://dx.doi.org/10.1007/978-3-319-28114-8_6}, interhash = {584dc3ecba5d19b8928f20ca49ba0224}, intrahash = {de711b89d49a22803d3a0bb78a65334b}, isbn = {978-3-319-28113-1}, keywords = {colimit institution logic monad myown query}, pages = {90-109}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2017-03-13T19:39:31.000+0100}, title = {What Is a Derived Signature Morphism?}, url = {http://dx.doi.org/10.1007/978-3-319-28114-8_6}, volume = 9463, year = 2014 }