Pages that link to "Item:Q5204355"

The following pages link to Toward formal development of programs from algebraic specifications: Model-theoretic foundations (Q5204355):

Displaying 2 items.

• Structured theory presentations and logic representations (Q1326777) (← links)
• Behavioural satisfaction and equivalence in concrete model categories (Q5878913) (← links)