The following pages link to Institution morphisms (Q699929):
Displaying 50 items.
- Logical systems. I: Internal calculi. (Q326587) (← links)
- Parameterisation for abstract structured specifications (Q387996) (← links)
- On the existence of translations of structured specifications (Q458375) (← links)
- Complete model-based equivalence class testing for nondeterministic systems (Q520246) (← links)
- Representing model theory in a type-theoretical logical framework (Q654913) (← links)
- Grothendieck inclusion systems (Q657588) (← links)
- Behavioral abstraction is hiding information (Q703529) (← links)
- Categorical abstract algebraic logic: models of \(\pi\)-institutions (Q817965) (← links)
- Quasi-Boolean encodings and conditionals in algebraic specification (Q844886) (← links)
- Remarks on classifications and adjunctions (Q861977) (← links)
- An encoding of partial algebras as total algebras (Q990084) (← links)
- HasCasl: integrated higher-order specification and program development (Q1006648) (← links)
- Composition-nominative logics as institutions (Q1653557) (← links)
- Topological systems as a framework for institutions (Q1677937) (← links)
- Interpolation in Grothendieck institutions (Q1884940) (← links)
- Semantical investigations into nonmonotonic and probabilistic logics (Q1928822) (← links)
- What is a logic translation? (Q1931306) (← links)
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353) (← links)
- Towards a functional approach to modular ontologies using institutions (Q2016068) (← links)
- Semantics of multiway dataflow constraint systems (Q2043794) (← links)
- Hybrid dynamic logic institutions for event/data-based systems (Q2065557) (← links)
- Generalised graded interpolation (Q2105608) (← links)
- Specifying with syntactic theory functors (Q2173439) (← links)
- Introducing \(H\), an institution-based formal specification and verification language (Q2183716) (← links)
- Institutions for SQL database schemas and datasets (Q2185885) (← links)
- Probabilization of logics: completeness and decidability (Q2254552) (← links)
- Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally (Q2254574) (← links)
- Foundations of logic programming in hybrid logics with user-defined sharing (Q2358621) (← links)
- Constructor-based observational logic (Q2369030) (← links)
- Algebraic-coalgebraic specification in CoCASL (Q2369034) (← links)
- Herbrand theorems in arbitrary institutions (Q2390213) (← links)
- Comorphisms of structured institutions (Q2445331) (← links)
- Towards Behavioral Maude (Q2842559) (← links)
- Change Management for Heterogeneous Development Graphs (Q3058452) (← links)
- Integrating Maude into Hets (Q3067467) (← links)
- What Is a Multi-modeling Language? (Q3184725) (← links)
- Generalized Theoroidal Institution Comorphisms (Q3184726) (← links)
- Heterogeneous Logical Environments for Distributed Specifications (Q3184737) (← links)
- Abstract Beth definability in institutions (Q3410686) (← links)
- Diagrammatic logic applied to a parameterisation process (Q3583026) (← links)
- A Categorical Approach to Mereology and Its Application to Modelling Software Components (Q3600304) (← links)
- Representing Model Theory in a Type-Theoretical Logical Framework (Q5170290) (← links)
- Towards an Institutional Framework for Heterogeneous Formal Development in UML (Q5256350) (← links)
- The Distributed Ontology, Modeling and Specification Language – DOL (Q5350348) (← links)
- A logical framework combining model and proof theory (Q5400853) (← links)
- CafeOBJ Traces (Q5403067) (← links)
- Parchments for CafeOBJ Logics (Q5403068) (← links)
- Object oriented institutions to specify symbolic computation systems (Q5441547) (← links)
- Property-oriented semantics of structured specifications (Q5740355) (← links)
- Encoding hybridized institutions into first-order logic (Q5741578) (← links)
