Pages that link to "Item:Q1108775"
From MaRDI portal
The following pages link to Specifications in an arbitrary institution (Q1108775):
Displayed 47 items.
- An axiomatic approach to structuring specifications (Q428861) (← links)
- On the algebra of structured specifications (Q549182) (← links)
- Grothendieck inclusion systems (Q657588) (← links)
- On behavioural abstraction and behavioural satisfaction in higher-order logic (Q671672) (← links)
- On the correctness of modular systems (Q674009) (← links)
- Structural induction in institutions (Q719243) (← links)
- Quasi-Boolean encodings and conditionals in algebraic specification (Q844886) (← links)
- Generalized interpolation in CASL (Q851912) (← links)
- An institution-independent proof of the Robinson consistency theorem (Q878156) (← links)
- A categorical study on the finiteness of specifications (Q975404) (← links)
- Saturated models in institutions (Q992038) (← 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)
- Principles of proof scores in CafeOBJ (Q1929233) (← 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)
- Herbrand theorems in arbitrary institutions (Q2390213) (← links)
- A Proof Theoretic Interpretation of Model Theoretic Hiding (Q2890327) (← links)
- An Institution for Graph Transformation (Q2890329) (← links)
- Compositional Modelling and Reasoning in an Institution for Processes and Data (Q2890337) (← links)
- Heterogeneous Logical Environments for Distributed Specifications (Q3184737) (← 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)