scientific article; zbMATH DE number 3864486
From MaRDI portal
Publication:3332238
Recommendations
Cited in
(81)- Why Horn formulas matter in computer science: initial structures and generic examples
- Toward formal development of programs from algebraic specifications: Implementations revisited
- Specification and verification of database dynamics
- Specifications in an arbitrary institution
- IMPS: An interactive mathematical proof system
- Toward formal development of programs from algebraic specifications: Parameterisation revisited
- Essential concepts of algebraic specification and program development
- Category theory and the foundations of mathematics: philosophical excavations.
- Detecting equivalence of modular specifications with categorical diagrams
- Topological systems as a framework for institutions
- Building and integrating semantic theories over institutions
- Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms
- Structured theories and institutions
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
- Towards a functional approach to modular ontologies using institutions
- An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms
- Probabilization of logics: completeness and decidability
- Modalities for an allegorical conceptual data model
- Topological representation of intuitionistic and distributive abstract logics
- Morphism axioms
- Comorphisms of structured institutions
- Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity
- scientific article; zbMATH DE number 1696910 (Why is no real title available?)
- Towards behavioral Maude: behavioral membership equational logic
- Constructor-based institutions
- scientific article; zbMATH DE number 4130339 (Why is no real title available?)
- scientific article; zbMATH DE number 3847387 (Why is no real title available?)
- Abstract Beth definability in institutions
- Proof Systems for Institutional Logic
- Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas
- Categorical abstract algebraic logic: referential algebraic semantics
- scientific article; zbMATH DE number 4037182 (Why is no real title available?)
- scientific article; zbMATH DE number 4043230 (Why is no real title available?)
- scientific article; zbMATH DE number 4097351 (Why is no real title available?)
- scientific article; zbMATH DE number 29052 (Why is no real title available?)
- scientific article; zbMATH DE number 1231543 (Why is no real title available?)
- Institutions: abstract model theory for specification and programming
- scientific article; zbMATH DE number 1086717 (Why is no real title available?)
- scientific article; zbMATH DE number 1180528 (Why is no real title available?)
- scientific article; zbMATH DE number 2079676 (Why is no real title available?)
- scientific article; zbMATH DE number 1522144 (Why is no real title available?)
- scientific article; zbMATH DE number 1522507 (Why is no real title available?)
- scientific article; zbMATH DE number 1525070 (Why is no real title available?)
- scientific article; zbMATH DE number 1555491 (Why is no real title available?)
- Categorical abstract algebraic logic: behavioral \(\pi\)-institutions
- Algebraic data integration
- scientific article; zbMATH DE number 1368950 (Why is no real title available?)
- scientific article; zbMATH DE number 3997131 (Why is no real title available?)
- Algebraic structures of directed acyclic graphs: application to concurrent calculus
- A conceptual and formal framework for the integration of data type and process modeling techniques
- scientific article; zbMATH DE number 1397395 (Why is no real title available?)
- Implicit Partiality of Signature Morphisms in Institution Theory
- Compositionality results for different types of parameterization and parameter passing in specification languages
- Building Specifications in the Event-B Institution
- Unified algebras and action semantics
- Proving correctness w.r.t. specifications with hidden parts
- Logic representation in LF
- Semantic typing for parametric algebraic specifications
- A decade of TAPSOFT. Aspects of progress and prospects in theory and practice of software development
- Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives
- Algebraic methods in the compositional analysis of logic programs
- Toward formal development of programs from algebraic specifications: model-theoretic foundations
- An institution for Object-Z with inheritance and polymorphism
- scientific article; zbMATH DE number 2196612 (Why is no real title available?)
- Algebraic Methodology and Software Technology
- Domain endurants. An analysis and description process model
- Modality in open institutions with concrete syntax
- Categorical abstract algebraic logic: The categorical Suszko operator
- Presenting and combining inference systems. Presentations with inference rules
- Abstract categorical logic
- Conservative translations revisited
- Partialising institutions
- (Heterogeneous) structured specifications in logics without interpolation
- Rod Burstall: in memoriam (1934--2025)
- Is institution theory `buddhist'?
- Categorical abstract algebraic logic: (,N)-algebraic systems
- Categorical abstract algebraic logic: models of -institutions
- A language for configuring multi-level specifications
- Remarks on classifications and adjunctions
- Graded consequence: an institution theoretic study
- A categorical study on the finiteness of specifications
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3332238)
