%0 Journal Article %1 journals/jlp/HofnerJKM16 %A Höfner, Peter %A Jipsen, Peter %A Kahl, Wolfram %A Müller, Martin Eric %D 2016 %J J. Log. Algebraic Methods Program. %K %N 4 %P 447-448 %T Relational and algebraic methods in computer science. %U http://dblp.uni-trier.de/db/journals/jlp/jlp85.html#HofnerJKM16 %V 85

@article{journals/jlp/HofnerJKM16, added-at = {2023-12-13T04:52:00.000+0100}, author = {Höfner, Peter and Jipsen, Peter and Kahl, Wolfram and Müller, Martin Eric}, biburl = {https://www.bibsonomy.org/bibtex/255575de7772504b3039c92defa414fb6/admin}, ee = {https://doi.org/10.1016/j.jlamp.2016.02.003}, interhash = {9b5c3c78fdf06e5b0517fb1940d83848}, intrahash = {55575de7772504b3039c92defa414fb6}, journal = {J. Log. Algebraic Methods Program.}, keywords = {}, number = 4, pages = {447-448}, timestamp = {2023-12-13T04:52:00.000+0100}, title = {Relational and algebraic methods in computer science.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp85.html#HofnerJKM16}, volume = 85, year = 2016 }