An encoding of partial algebras as total algebras
From MaRDI portal
Publication:990084
DOI10.1016/j.ipl.2009.09.008zbMath1202.68245OpenAlexW1993444307MaRDI QIDQ990084
Publication date: 2 September 2010
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ipl.2009.09.008
Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
On the existence of translations of structured specifications, Encoding hybridized institutions into first-order logic
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Institution morphisms
- Birkhoff completeness in institutions
- CASL: the Common Algebraic Specification Language.
- Relating CASL with other specification languages: the institution level.
- Institution-independent model theory
- Abstract Beth definability in institutions
- Institutions: abstract model theory for specification and programming