Pages that link to "Item:Q1884906"
From MaRDI portal
The following pages link to Structured theories and institutions (Q1884906):
Displaying 13 items.
- A language for configuring multi-level specifications (Q820125) (← links)
- Invariant-driven specifications in Maude (Q838161) (← links)
- Categorical foundations for structured specifications in \(\mathsf{Z}\) (Q903494) (← links)
- An algebraic theory of structured objects (Q1377554) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- Development graphs -- proof management for structured specifications (Q2369033) (← links)
- Comorphisms of structured institutions (Q2445331) (← links)
- Modularity of Ontologies in an Arbitrary Institution (Q2945717) (← links)
- Heterogeneous Logical Environments for Distributed Specifications (Q3184737) (← links)
- (Q3317106) (← links)
- A basic model for social institutions (Q5202554) (← links)
- (Q5416165) (← links)
- Variants and satisfiability in the infinitary unification wonderland (Q6113018) (← links)