%0 Journal Article %1 journals/tcs/GoguenM92 %A Goguen, Joseph A. %A Meseguer, José %D 1992 %J Theor. Comput. Sci. %K dblp %N 2 %P 217-273 %T Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations. %U http://dblp.uni-trier.de/db/journals/tcs/tcs105.html#GoguenM92 %V 105

@article{journals/tcs/GoguenM92, added-at = {2023-09-21T00:00:00.000+0200}, author = {Goguen, Joseph A. and Meseguer, José}, biburl = {https://www.bibsonomy.org/bibtex/25463aa1cfd3f07dded5bccc5c24aad59/dblp}, ee = {https://doi.org/10.1016/0304-3975(92)90302-V}, interhash = {a15f16bee5108a616346e70191177316}, intrahash = {5463aa1cfd3f07dded5bccc5c24aad59}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = 2, pages = {217-273}, timestamp = {2024-04-08T18:37:50.000+0200}, title = {Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs105.html#GoguenM92}, volume = 105, year = 1992 }