Pages that link to "Item:Q929967"
From MaRDI portal
The following pages link to Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types (Q929967):
Displaying 6 items.
- Towards ``mouldable code'' via nested code graph transformation (Q406453) (← links)
- Determinisation of relational substitutions in ordered categories with domain (Q604457) (← links)
- Finite representability of semigroups with demonic refinement (Q829757) (← links)
- Solving quantifier-free first-order constraints over finite sets and binary relations (Q2303241) (← links)
- \( \ell r\)-multisemigroups, modal quantales and the origin of locality (Q2695347) (← links)
- Towards Certifiable Implementation of Graph Transformation via Relation Categories (Q2915137) (← links)
