The following pages link to (Q4362876):
Displaying 20 items.
- An algebraic approach to computations with progress (Q299188) (← links)
- Multirelations with infinite computations (Q406449) (← links)
- An algebraic approach to multirelations and their properties (Q516032) (← links)
- Imperative abstractions for functional actions (Q604455) (← links)
- Normal design algebra (Q844885) (← links)
- Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types (Q929967) (← links)
- Arrow categories (Q1043285) (← links)
- Relation algebra as programming language using the Ampersand compiler (Q1785856) (← links)
- ER modelling from first relational principles (Q1884937) (← links)
- Typing theorems of omega algebra (Q1931900) (← links)
- Towards a formal framework for heterogeneous relation algebra (Q1961865) (← links)
- Monomorphic characterization of \(n\)-ary direct products (Q1961870) (← links)
- Solving quantifier-free first-order constraints over finite sets and binary relations (Q2303241) (← links)
- An algebra of database preferences (Q2347915) (← links)
- Dependencies in relational models of databases (Q2374317) (← links)
- An Algebraic Calculus of Database Preferences (Q2908570) (← links)
- Relation Algebras, Matrices, and Multi-valued Decision Diagrams (Q2915148) (← links)
- Lazy Relations (Q3498411) (← links)
- Software Development in Relation Algebra with Ampersand (Q5283210) (← links)
- Type-n Arrow Categories (Q5283219) (← links)
