Pages that link to "Item:Q817578"
From MaRDI portal
The following pages link to Relation-algebraic computation of fixed points with applications (Q817578):
Displaying 11 items.
- On computing representatives (Q287112) (← links)
- 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)
- Contact, closure, topology, and the linking of row and column types of relations (Q549681) (← links)
- Relation-algebraic specification and solution of special university timetabling problems (Q604453) (← links)
- Applying relation algebra and RelView to solve problems on orders and lattices (Q929300) (← links)
- Applying relation algebra and RelView to measures in a social network (Q1038395) (← links)
- State space analysis of Petri nets with relation-algebraic methods (Q2518607) (← links)
- Properties of fixed point operators in predicate algebras (Q2850213) (← links)
- Column-Wise Extendible Vector Expressions and the Relational Computation of Sets of Sets (Q2941178) (← links)
- (Q4415076) (← links)