The following pages link to (Q4850062):
Displaying 5 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)
