The following pages link to (Q4041054):
Displaying 36 items.
- An algebraic approach to computations with progress (Q299188) (← links)
- Multirelations with infinite computations (Q406449) (← links)
- Hopscotch -- reaching the target hop by hop (Q406451) (← links)
- An algebraic approach to multirelations and their properties (Q516032) (← links)
- Fixpoints for general correctness (Q549677) (← links)
- Imperative abstractions for functional actions (Q604455) (← links)
- Cardinality functions in allegories (Q604458) (← links)
- Embedding a demonic semilattice in a relation algebra (Q672711) (← links)
- Membership values in arrow categories (Q723308) (← links)
- Normal design algebra (Q844885) (← links)
- Relational measures and integration in preference modeling (Q929969) (← links)
- Products in categories of relations (Q929971) (← links)
- Embedding mappings and splittings with applications (Q968275) (← links)
- On fuzzification of some concepts of graphs (Q1302238) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- Cryptomorphic topological structures: a computational, relation-algebraic approach (Q1633340) (← links)
- Partiality. II: Constructed relation algebras (Q1931901) (← links)
- Verifying minimum spanning tree algorithms with Stone relation algebras (Q1994364) (← links)
- Infinite executions of lazy and strict computations (Q2347906) (← links)
- A relational division operator: The conjugate kernel (Q2367540) (← links)
- Choices and kernels in bipolar valued digraphs (Q2432842) (← links)
- Second-order properties of undirected graphs (Q2695354) (← links)
- Relation Algebras, Matrices, and Multi-valued Decision Diagrams (Q2915148) (← links)
- Relational Concepts in Social Choice (Q2915150) (← links)
- A Relation-Algebraic Approach to Multirelations and Predicate Transformers (Q2941166) (← links)
- Lazy Relations (Q3498411) (← links)
- Cardinality in Allegories (Q3498420) (← links)
- Rectangles, Fringes, and Inverses (Q3498426) (← links)
- An Ordered Category of Processes (Q3498427) (← links)
- (Q4029342) (← links)
- (Q4731188) (← links)
- Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras (Q5098718) (← links)
- Relations as Images (Q5283202) (← links)
- Stone Relation Algebras (Q5283207) (← links)
- Determinism of multirelations (Q6561345) (← links)
- Relation-algebraic verification of disjoint-set forests (Q6614547) (← links)
