Pages that link to "Item:Q929300"
From MaRDI portal
The following pages link to Applying relation algebra and RelView to solve problems on orders and lattices (Q929300):
Displaying 13 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)
- Relation-algebraic computation of fixed points with applications (Q817578) (← links)
- Relational equations in totally ordered lattices and their complete resolution (Q1073027) (← 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)
- Relation Algebra and RelView in Practical Use: Construction of Special University Timetables (Q3498403) (← links)
- Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView (Q3511094) (← links)
- On the expressive power of the relational algebra with partially ordered domains (Q4951743) (← links)
- Cardinality of relations and relational approximation algorithms (Q5963086) (← links)
