Searching for "Order-Sorted Algebra I Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations." – sorted by Relevance.
1 documents found, showing 1 through 1.
-
Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions
- …Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions…
- Cited by 183 (27 self) – Add To MetaCart
Showing 1 through 1.
