Structural induction in institutions
From MaRDI portal
Publication:719243
DOI10.1016/J.IC.2011.06.002zbMATH Open1241.03073OpenAlexW2090789875MaRDI QIDQ719243FDOQ719243
Authors: Răzvan Diaconescu
Publication date: 10 October 2011
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2011.06.002
Recommendations
Cites Work
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- Title not available (Why is that?)
- Metamathematics of fuzzy logic
- Institution-independent model theory
- Institutions: abstract model theory for specification and programming
- Title not available (Why is that?)
- Title not available (Why is that?)
- Residuated lattices. An algebraic glimpse at substructural logics
- Title not available (Why is that?)
- Residuated Lattices
- CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
- Quasi-varieties in abstract algebraic institutions
- Herbrand theorems in arbitrary institutions
- Title not available (Why is that?)
- Conditional rewriting logic as a unified model of concurrency
- On quasi-varieties of multiple valued logic models
- Specifications in an arbitrary institution
- Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems
- Title not available (Why is that?)
- An Oxford survey of order sorted algebra
- On the existence of free models in abstract algebraic institutions
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
- CASL: the Common Algebraic Specification Language.
- Proving Properties of Programs by Structural Induction
- Title not available (Why is that?)
- Title not available (Why is that?)
- On standard completeness for non-commutative many-valued logics
- Interpolation for predefined types
- Title not available (Why is that?)
- Category-based constraint logic
- Combination of constraint solving techniques: An algebraic point of view
Cited In (7)
Uses Software
This page was built for publication: Structural induction in institutions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q719243)