Pages that link to "Item:Q3184726"
From MaRDI portal
The following pages link to Generalized Theoroidal Institution Comorphisms (Q3184726):
Displaying 5 items.
- Twenty years of rewriting logic (Q1931904) (← links)
- Specifying with syntactic theory functors (Q2173439) (← links)
- Model-Driven Engineering in the Heterogeneous Tool Set (Q2797864) (← links)
- Change Management for Heterogeneous Development Graphs (Q3058452) (← links)
- Heterogeneous Logical Environments for Distributed Specifications (Q3184737) (← links)
