The following pages link to (Q3332238):
Displaying 50 items.
- Categorical abstract algebraic logic: referential algebraic semantics (Q368473) (← links)
- Categorical abstract algebraic logic: behavioral \(\pi\)-institutions (Q456973) (← links)
- Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems (Q816651) (← links)
- Categorical abstract algebraic logic: models of \(\pi\)-institutions (Q817965) (← links)
- A language for configuring multi-level specifications (Q820125) (← links)
- Remarks on classifications and adjunctions (Q861977) (← links)
- Graded consequence: an institution theoretic study (Q894661) (← links)
- A categorical study on the finiteness of specifications (Q975404) (← links)
- Why Horn formulas matter in computer science: initial structures and generic examples (Q1089797) (← links)
- Toward formal development of programs from algebraic specifications: Implementations revisited (Q1090100) (← links)
- Specification and verification of database dynamics (Q1092680) (← links)
- Specifications in an arbitrary institution (Q1108775) (← links)
- IMPS: An interactive mathematical proof system (Q1319391) (← links)
- Toward formal development of programs from algebraic specifications: Parameterisation revisited (Q1323357) (← links)
- Essential concepts of algebraic specification and program development (Q1377322) (← links)
- Category theory and the foundations of mathematics: philosophical excavations. (Q1578766) (← links)
- Detecting equivalence of modular specifications with categorical diagrams (Q1583247) (← links)
- Topological systems as a framework for institutions (Q1677937) (← links)
- Building and integrating semantic theories over institutions (Q1697086) (← links)
- Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms (Q1778066) (← links)
- Structured theories and institutions (Q1884906) (← 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)
- An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms (Q2124445) (← links)
- Probabilization of logics: completeness and decidability (Q2254552) (← links)
- Modalities for an allegorical conceptual data model (Q2345053) (← links)
- Topological representation of intuitionistic and distributive abstract logics (Q2399600) (← links)
- Morphism axioms (Q2402279) (← links)
- Comorphisms of structured institutions (Q2445331) (← links)
- Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity (Q2642521) (← links)
- Towards behavioral Maude: behavioral membership equational logic (Q2842559) (← links)
- (Q3317106) (← links)
- Abstract Beth definability in institutions (Q3410686) (← links)
- Proof Systems for Institutional Logic (Q3430948) (← links)
- Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas (Q3437039) (← links)
- Indexed categories for program development (Q3986546) (← links)
- (Q4222859) (← links)
- (Q4510453) (← links)
- (Q4510742) (← links)
- (Q4512408) (← links)
- (Q4525557) (← links)
- Algebraic data integration (Q4577809) (← links)
- Algebraic structures of directed acyclic graphs: application to concurrent calculus (Q4876370) (← links)
- A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques (Q4921549) (← links)
- Implicit Partiality of Signature Morphisms in Institution Theory (Q5015966) (← links)
- Compositionality results for different types of parameterization and parameter passing in specification languages (Q5044722) (← 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)
