Recommendations
Cites work
- scientific article; zbMATH DE number 4018380 (Why is no real title available?)
- scientific article; zbMATH DE number 4130339 (Why is no real title available?)
- scientific article; zbMATH DE number 3963900 (Why is no real title available?)
- scientific article; zbMATH DE number 3714904 (Why is no real title available?)
- scientific article; zbMATH DE number 193170 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 1998330 (Why is no real title available?)
- scientific article; zbMATH DE number 3220362 (Why is no real title available?)
- scientific article; zbMATH DE number 3417640 (Why is no real title available?)
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- An Oxford survey of order sorted algebra
- CASL: the Common Algebraic Specification Language.
- CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
- Category-based constraint logic
- Combination of constraint solving techniques: An algebraic point of view
- Conditional rewriting logic as a unified model of concurrency
- Herbrand theorems in arbitrary institutions
- Institution-independent model theory
- Institutions: abstract model theory for specification and programming
- Interpolation for predefined types
- Metamathematics of fuzzy logic
- On quasi-varieties of multiple valued logic models
- On standard completeness for non-commutative many-valued logics
- On the existence of free models in abstract algebraic institutions
- Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems
- Proving Properties of Programs by Structural Induction
- Quasi-varieties in abstract algebraic institutions
- Residuated Lattices
- Residuated lattices. An algebraic glimpse at substructural logics
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
- Specifications in an arbitrary institution
Cited in
(7)
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)