%0 Journal Article %1 journals/tcs/GoguenB84a %A Goguen, Joseph A. %A Burstall, Rod M. %D 1984 %J Theor. Comput. Sci. %K dblp %P 263-295 %T Some Fundamental Algebraic Tools for the Semantics of Computation. Part II: Signed and Abstract Theories. %U http://dblp.uni-trier.de/db/journals/tcs/tcs31.html#GoguenB84a %V 31

@article{journals/tcs/GoguenB84a, added-at = {2021-02-17T00:00:00.000+0100}, author = {Goguen, Joseph A. and Burstall, Rod M.}, biburl = {https://www.bibsonomy.org/bibtex/2c7110fe8924fb3e135bceb7f5a114f82/dblp}, ee = {https://doi.org/10.1016/0304-3975(84)90036-7}, interhash = {11ed4308d8e65f153ea338c8c81960d2}, intrahash = {c7110fe8924fb3e135bceb7f5a114f82}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, pages = {263-295}, timestamp = {2024-04-08T18:49:28.000+0200}, title = {Some Fundamental Algebraic Tools for the Semantics of Computation. Part II: Signed and Abstract Theories.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs31.html#GoguenB84a}, volume = 31, year = 1984 }