The following pages link to (Q5287518):
Displaying 50 items.
- Nondeterministic semantics of compound diagrams (Q258605) (← links)
- Computing kernels in directed bichromatic graphs (Q287022) (← links)
- Relation lifting, a survey (Q299182) (← links)
- Computing and visualizing Banks sets of dominance relations using relation algebra and RelView (Q383785) (← links)
- Computing minimal extending sets by relation-algebraic modeling and development (Q406434) (← links)
- Spatial voting games, relation algebra and RelView (Q406437) (← links)
- Exploring modal worlds (Q406442) (← links)
- Hopscotch -- reaching the target hop by hop (Q406451) (← links)
- A relation-algebraic approach to the ``Hoare logic'' of functional dependencies (Q406457) (← links)
- Relations into algebras of probabilistic distributions (Q406461) (← links)
- Relational properties of sequential composition of coalgebras (Q406463) (← links)
- Gunther Schmidt's life as a mathematician and computer scientist (Q406464) (← links)
- Dedekind categories with cutoff operators (Q549312) (← links)
- Algebraic separation logic (Q549676) (← links)
- Collagories: relation-algebraic reasoning for gluing constructions (Q549680) (← links)
- Simple feature engineering via neat default retrenchments (Q649587) (← links)
- On graph reasoning (Q731892) (← links)
- Cardinality of relations with applications (Q738869) (← links)
- Least reflexive points of relations (Q815002) (← links)
- Relation-algebraic computation of fixed points with applications (Q817578) (← links)
- Kleene under a modal demonic star (Q817579) (← links)
- Partiality. I: Embedding relation algebras (Q817586) (← links)
- Abstract abstract reduction (Q817587) (← links)
- Algebras of modal operators and partial correctness (Q820135) (← links)
- Applying relational algebra and REL VIEW to coalition formation (Q859932) (← links)
- Applying relation algebra and RelView to solve problems on orders and lattices (Q929300) (← links)
- Relational state transition dynamics (Q929970) (← links)
- Stronger compositions for retrenchments (Q974130) (← links)
- Applying relation algebra and RelView to measures in a social network (Q1038395) (← links)
- Evaluation of German parties and coalitions by methods of the mathematical theory of democracy (Q1038417) (← links)
- An algebraic formalization of fuzzy relations (Q1302221) (← links)
- Regular relations and bicartesian squares (Q1329746) (← links)
- Peirce algebras (Q1333408) (← links)
- Parallel constructions of maximal path sets and applications to short superstrings (Q1366535) (← links)
- A calculational approach to mathematical induction (Q1391737) (← links)
- Universal coalgebra: A theory of systems (Q1583483) (← links)
- Relational depth-first-search with applications (Q1602553) (← links)
- Parallel composition and decomposition of specifications (Q1602555) (← links)
- Programming from metaphorisms (Q1683699) (← links)
- Three-variable statements of set-pairing (Q1885036) (← links)
- Relation-algebraic modeling and solution of chessboard independence and domination problems (Q1931899) (← links)
- Partiality. II: Constructed relation algebras (Q1931901) (← links)
- Calculating with acyclic and cyclic lists (Q1961861) (← links)
- Combining relational calculus and the Dijkstra-Gries method for deriving relational programs (Q1961862) (← links)
- Categorical representation theorems of fuzzy relations (Q1961868) (← links)
- Relational matching for graphical calculi of relations (Q1961869) (← links)
- Unification of graphs and relations in Mizar (Q2113834) (← links)
- Relational characterisations of paths (Q2210868) (← links)
- Relational demonic fuzzy refinement (Q2336161) (← links)
- Modal algebra and Petri nets (Q2340252) (← links)
