Pages that link to "Item:Q1322845"
From MaRDI portal
The following pages link to Constructing specification morphisms (Q1322845):
Displaying 5 items.
- On the complexity of specification morphisms (Q1389688) (← links)
- An abstract formalization of correct schemas for program synthesis (Q1583858) (← links)
- Morphism axioms (Q2402279) (← links)
- Theory Presentation Combinators (Q2907324) (← links)
- Constructive Specifications for Compositional Units (Q5458803) (← links)