The following pages link to (Q4850062):
Displaying 13 items.
- Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions (Q308133) (← links)
- A formal approach to the specification and transformation of constraints in MDE (Q444494) (← links)
- Monad transformers as monoid transformers (Q615955) (← links)
- Pointfree expression and calculation: From quantification to temporal logic (Q633283) (← links)
- Combinatorial functional and differential equations applied to differential posets (Q952648) (← links)
- From environments to representations -- a mathematical theory of artificial perceptions (Q1274888) (← links)
- Code migration and program maintainability -- A categorical perspective (Q1603495) (← links)
- Relative cohomology of algebraic theories (Q2014021) (← links)
- On the existence of free models in fuzzy universal Horn classes (Q2410497) (← links)
- Fibrations and universal view updatability (Q2464937) (← links)
- Sketch Data Models, Relational Schema and Data Specifications (Q2841257) (← links)
- A Diagrammatic Logic for Object-Oriented Visual Modeling (Q2864376) (← links)
- Equational Properties of Stratified Least Fixed Points (Extended Abstract) (Q2947468) (← links)
