Pages that link to "Item:Q1884906"
From MaRDI portal
The following pages link to Structured theories and institutions (Q1884906):
Displaying 8 items.
- A language for configuring multi-level specifications (Q820125) (← links)
- Invariant-driven specifications in Maude (Q838161) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- Development graphs -- proof management for structured specifications (Q2369033) (← links)
- Modularity of Ontologies in an Arbitrary Institution (Q2945717) (← links)
- Heterogeneous Logical Environments for Distributed Specifications (Q3184737) (← links)
- (Q3317106) (← links)
- Variants and satisfiability in the infinitary unification wonderland (Q6113018) (← links)
