Pages that link to "Item:Q1108775"
From MaRDI portal
The following pages link to Specifications in an arbitrary institution (Q1108775):
Displaying 34 items.
- (Q2722029) (← links)
- Composition of default specifications (Q2761751) (← 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)
- Modularity of Ontologies in an Arbitrary Institution (Q2945717) (← 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)
- Implicit Partiality of Signature Morphisms in Institution Theory (Q5015966) (← links)
- Compositional term rewriting: An algebraic proof of Toyama's theorem (Q5055865) (← links)
- Building Specifications in the Event-B Institution (Q5060190) (← links)
- Unified Algebras and action semantics (Q5096140) (← links)
- Proving correctness w.r.t. specifications with hidden parts (Q5096185) (← links)
- Logic representation in LF (Q5096264) (← links)
- Relations as abstract datatypes: An institution to specify relations between algebras (Q5096763) (← links)
- Toward formal development of programs from algebraic specifications: Model-theoretic foundations (Q5204355) (← links)
- An Institution for Object-Z with Inheritance and Polymorphism (Q5256346) (← links)
- The Foundational Legacy of ASL (Q5256352) (← links)
- The Distributed Ontology, Modeling and Specification Language – DOL (Q5350348) (← links)
- Parchments for CafeOBJ Logics (Q5403068) (← links)
- An Institution for Imperative RSL Specifications (Q5403080) (← links)
- On Automation of OTS/CafeOBJ Method (Q5403084) (← links)
- Observational interpretation of Casl specifications (Q5458070) (← links)
- Property-oriented semantics of structured specifications (Q5740355) (← links)
- Partialising institutions (Q6185812) (← links)
- Equivalences among various logical frameworks of partial algebras (Q6560181) (← links)
- SpeX: a rewriting-based formal specification environment (Q6562521) (← links)
- (Heterogeneous) structured specifications in logics without interpolation (Q6599623) (← links)
