Pages that link to "Item:Q3146250"

The following pages link to Pushout complements for partly total algebras (Q3146250):

Displayed 2 items.

• Relating CASL with other specification languages: the institution level. (Q1853458) ‎ (← links)
• The uniqueness condition for the double pushout transformation of algebras (Q2486006) ‎ (← links)