Pages that link to "Item:Q1108775"
From MaRDI portal
The following pages link to Specifications in an arbitrary institution (Q1108775):
Displayed 34 items.
- On behavioural abstraction and behavioural satisfaction in higher-order logic (Q671672) (← links)
- On the correctness of modular systems (Q674009) (← links)
- Generalized interpolation in CASL (Q851912) (← links)
- An institution-independent proof of the Robinson consistency theorem (Q878156) (← links)
- A semantic approach to interpolation (Q1006639) (← links)
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories (Q1183597) (← links)
- Modularising the specification of a small database system in extended ML (Q1184686) (← links)
- Temporal theories as modularisation units for concurrent system specification (Q1192604) (← links)
- Toward formal development of programs from algebraic specifications: Parameterisation revisited (Q1323357) (← links)
- Structured theory presentations and logic representations (Q1326777) (← links)
- Essential concepts of algebraic specification and program development (Q1377322) (← links)
- May I borrow your logic? (Transporting logical structures along maps) (Q1391728) (← links)
- Proof systems for structured specifications with observability operators (Q1391730) (← links)
- On institutions for modular coalgebraic specifications. (Q1603816) (← links)
- Amalgamation in the semantics of CASL (Q1770431) (← links)
- CASL: the Common Algebraic Specification Language. (Q1853453) (← links)
- Logical systems for structured specifications. (Q1853454) (← links)
- Relating CASL with other specification languages: the institution level. (Q1853458) (← links)
- Observational logic, constructor-based logic, and their duality. (Q1874280) (← links)
- Structured theories and institutions (Q1884906) (← links)
- Interpolation in Grothendieck institutions (Q1884940) (← links)
- Category-based modularisation for equational logic programming (Q1901708) (← links)
- Formalism and method (Q1978639) (← links)
- Constructor-based observational logic (Q2369030) (← links)
- Development graphs -- proof management for structured specifications (Q2369033) (← links)
- Ultraproducts and possible worlds semantics in institutions (Q2373712) (← links)
- Program specification and data refinement in type theory (Q4282807) (← links)
- (Q4510453) (← links)
- (Q4512408) (← links)
- (Q4525557) (← links)
- Interpolation and compactness in categories of pre-institutions (Q4715675) (← links)
- Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras (Q4856660) (← links)
- Algebraic implementation of abstract data types: a survey of concepts and new compositionality results (Q4882492) (← links)
- Observational interpretation of Casl specifications (Q5458070) (← links)