Pages that link to "Item:Q5390274"

The following pages link to Composing Hidden Information Modules over Inclusive Institutions (Q5390274):

Displayed 17 items.

• Functorial semantics of first-order views (Q344796) ‎ (← links)
• Parameterisation for abstract structured specifications (Q387996) ‎ (← links)
• Foundations for structuring behavioural specifications (Q406465) ‎ (← links)
• An axiomatic approach to structuring specifications (Q428861) ‎ (← links)
• On the algebra of structured specifications (Q549182) ‎ (← links)
• Grothendieck inclusion systems (Q657588) ‎ (← links)
• A semantic approach to interpolation (Q1006639) ‎ (← links)
• Development graphs -- proof management for structured specifications (Q2369033) ‎ (← links)
• A Proof Theoretic Interpretation of Model Theoretic Hiding (Q2890327) ‎ (← links)
• Modularity of Ontologies in an Arbitrary Institution (Q2945717) ‎ (← links)
• Change Management for Heterogeneous Development Graphs (Q3058452) ‎ (← links)
• Algebraic data integration (Q4577809) ‎ (← links)
• The Foundational Legacy of ASL (Q5256352) ‎ (← links)
• The Distributed Ontology, Modeling and Specification Language – DOL (Q5350348) ‎ (← links)
• Property-oriented semantics of structured specifications (Q5740355) ‎ (← links)
• Preservation in many-valued truth institutions (Q6083145) ‎ (← links)
• Partialising institutions (Q6185812) ‎ (← links)