Pages that link to "Item:Q929300"

The following pages link to Applying relation algebra and RelView to solve problems on orders and lattices (Q929300):

Displaying 8 items.

• Computing and visualizing Banks sets of dominance relations using relation algebra and RelView (Q383785) (← links)
• Solving computational tasks on finite topologies by means of relation algebra and the \textsc{RelView} tool (Q516028) (← links)
• A relation-algebraic approach to simple games (Q631101) (← links)
• The determination of subvarieties of certain congruence-distributive varieties (Q1337159) (← links)
• Relation-algebraic modeling and solution of chessboard independence and domination problems (Q1931899) (← links)
• Relation Algebras, Matrices, and Multi-valued Decision Diagrams (Q2915148) (← links)
• Column-Wise Extendible Vector Expressions and the Relational Computation of Sets of Sets (Q2941178) (← links)
• Cardinality of relations and relational approximation algorithms (Q5963086) (← links)