![](/img/cover-not-exists.png)
Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations
Joseph A. Goguen, José MeseguerVolume:
105
Year:
1992
Language:
english
Pages:
57
DOI:
10.1016/0304-3975(92)90302-v
File:
PDF, 4.02 MB
english, 1992