The following pages link to (Q5416165):
Displaying 5 items.
- Foundations for structuring behavioural specifications (Q406465) (← links)
- Graded consequence: an institution theoretic study (Q894661) (← links)
- The institution-theoretic scope of logic theorems (Q2254570) (← links)
- (Q3004247) (← links)
- Revisiting the Institutional Approach to Herbrand’s Theorem (Q5275358) (← links)