Pages that link to "Item:Q1177935"

The following pages link to Order-sorted completion: The many-sorted way (Q1177935):

Displayed 3 items.

• Equational completion in order-sorted algebras (Q912606) ‎ (← links)
• Semantics of order-sorted specifications (Q1185014) ‎ (← links)
• Specification and proof in membership equational logic (Q1978640) ‎ (← links)