Pages that link to "Item:Q1196302"

The following pages link to Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations (Q1196302):

Displaying 1 item.

• Interpreting Abstract Interpretations in Membership Equational Logic (Q2841246) (← links)