Pages that link to "Item:Q719243"
From MaRDI portal
The following pages link to Structural induction in institutions (Q719243):
Displaying 8 items.
- Institution morphisms (Q699929) (← links)
- Graded consequence: an institution theoretic study (Q894661) (← links)
- Context induction: A proof principle for behavioural abstractions and algebraic implementations (Q1179807) (← links)
- Principles of proof scores in CafeOBJ (Q1929233) (← links)
- (Q3332238) (← links)
- Algebra and Coalgebra in Computer Science (Q5492830) (← links)
- Preservation in many-valued truth institutions (Q6083145) (← links)
- Partialising institutions (Q6185812) (← links)