Pages that link to "Item:Q1053444"

The following pages link to An algebraic approach to the syntax and semantics of languages with subscripted variables (Q1053444):

Displaying 1 item.

• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations (Q1196302) (← links)