%0 Journal Article %1 journals/lmcs/HirschM17 %A Hirsch, Robin %A McLean, Brett %D 2017 %J Log. Methods Comput. Sci. %K dblp %N 2 %T Disjoint-union partial algebras. %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs13.html#HirschM17 %V 13

@article{journals/lmcs/HirschM17, added-at = {2020-10-26T00:00:00.000+0100}, author = {Hirsch, Robin and McLean, Brett}, biburl = {https://www.bibsonomy.org/bibtex/2f554b339b4824864fa576757b04f3599/dblp}, ee = {https://doi.org/10.23638/LMCS-13(2:10)2017}, interhash = {5f73f7087d4215903e12ff49446bf9f7}, intrahash = {f554b339b4824864fa576757b04f3599}, journal = {Log. Methods Comput. Sci.}, keywords = {dblp}, number = 2, timestamp = {2020-10-27T12:39:48.000+0100}, title = {Disjoint-union partial algebras.}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs13.html#HirschM17}, volume = 13, year = 2017 }