Pages that link to "Item:Q4302820"
From MaRDI portal
The following pages link to Institutions: abstract model theory for specification and programming (Q4302820):
Displaying 50 items.
- The future of logic: foundation-independence (Q263104) (← links)
- Yoneda philosophy in engineering (Q275932) (← links)
- Fuzzy terms (Q277347) (← links)
- Logical systems. I: Internal calculi. (Q326587) (← links)
- Functorial semantics of first-order views (Q344796) (← links)
- Embedding of biological regulatory networks and property preservation (Q359895) (← links)
- Categorical abstract algebraic logic: referential algebraic semantics (Q368473) (← links)
- Systems analysis of life cycle of large-scale information-control systems (Q386928) (← links)
- Parameterisation for abstract structured specifications (Q387996) (← links)
- A scalable module system (Q391632) (← links)
- Foundations for structuring behavioural specifications (Q406465) (← links)
- An interface theory for service-oriented design (Q407507) (← links)
- An axiomatic approach to structuring specifications (Q428861) (← links)
- Categorical abstract algebraic logic: behavioral \(\pi\)-institutions (Q456973) (← links)
- On the existence of translations of structured specifications (Q458375) (← links)
- Complete model-based equivalence class testing for nondeterministic systems (Q520246) (← links)
- Interface theories for concurrency and data (Q549177) (← links)
- On the algebra of structured specifications (Q549182) (← links)
- Symmetries, local names and dynamic (de)-allocation of names (Q618165) (← links)
- Monadic extensions of institutions (Q622025) (← links)
- Representing model theory in a type-theoretical logical framework (Q654913) (← links)
- Grothendieck inclusion systems (Q657588) (← links)
- Observational specifications and the indistinguishability assumption (Q673973) (← links)
- On the correctness of modular systems (Q674009) (← links)
- Behavioral abstraction is hiding information (Q703529) (← links)
- A formal abstract framework for modelling and testing complex software systems (Q714878) (← links)
- Encapsulating deontic and branching time specifications (Q714879) (← links)
- Structural induction in institutions (Q719243) (← links)
- Institutions for navigational logics for graphical structures (Q724928) (← links)
- Behavioural and abstractor specifications revisited (Q724932) (← links)
- Partial pushout semantics of generics in DOL (Q724938) (← links)
- Generic constructions for behavioral specifications (Q764311) (← links)
- Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems (Q816651) (← links)
- Categorical abstract algebraic logic: models of \(\pi\)-institutions (Q817965) (← links)
- Quasi-Boolean encodings and conditionals in algebraic specification (Q844886) (← links)
- Deontic action logic, atomic Boolean algebras and fault-tolerance (Q846527) (← links)
- Generalized interpolation in CASL (Q851912) (← links)
- Remarks on classifications and adjunctions (Q861977) (← links)
- An institution-independent proof of the Robinson consistency theorem (Q878156) (← links)
- Graded consequence: an institution theoretic study (Q894661) (← links)
- Categorical foundations for structured specifications in \(\mathsf{Z}\) (Q903494) (← links)
- A framework for model transformation verification (Q903517) (← links)
- On model checking multiple hybrid views (Q947781) (← links)
- Formal similarities and differences among qualitative conditional semantics (Q962946) (← links)
- An algebraic semantics for MOF (Q973052) (← links)
- A categorical study on the finiteness of specifications (Q975404) (← links)
- An encoding of partial algebras as total algebras (Q990084) (← links)
- Saturated models in institutions (Q992038) (← links)
- An institution-independent proof of the Beth definability theorem (Q995670) (← links)
- A semantic approach to interpolation (Q1006639) (← links)
