The following pages link to (Q4850062):
Displaying 20 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)
- Category theory for computing science (Q2919784) (← links)
- Equational Properties of Stratified Least Fixed Points (Extended Abstract) (Q2947468) (← links)
- (Q3575369) (← links)
- (Q3999603) (← links)
- CATEGORIES AS ALGEBRA, II (Q4469599) (← links)
- Algebraic data integration (Q4577809) (← links)
- A Superposition Operator for the Refinement of Algebraic Models (Q4923378) (← links)
- On Chu spaces over \(SS-Act\) category (Q6115008) (← links)
