Pages that link to "Item:Q5492830"
From MaRDI portal
The following pages link to Algebra and Coalgebra in Computer Science (Q5492830):
Displaying 6 items.
- Monadic extensions of institutions (Q622025) (← links)
- Institutions for behavioural dynamic logic with binders (Q1675787) (← links)
- Political institutions and the evolution of character traits (Q1682729) (← links)
- Institutions and their ethical evaluation (Q2179465) (← links)
- CafeOBJ Traces (Q5403067) (← links)
- Recent Trends in Algebraic Development Techniques (Q5900829) (← links)