Pages that link to "Item:Q516028"
From MaRDI portal
The following pages link to Solving computational tasks on finite topologies by means of relation algebra and the \textsc{RelView} tool (Q516028):
Displaying 9 items.
- Computing and visualizing Banks sets of dominance relations using relation algebra and RelView (Q383785) (← links)
- Relation-algebraic computation of fixed points with applications (Q817578) (← links)
- Applying relation algebra and RelView to solve problems on orders and lattices (Q929300) (← links)
- Cryptomorphic topological structures: a computational, relation-algebraic approach (Q1633340) (← links)
- Relational topology (Q1704472) (← links)
- Order- and graph-theoretic investigation of dimensions of finite topological spaces and Alexandroff spaces (Q2274045) (← links)
- Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView (Q3511094) (← links)
- FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH (Q5100063) (← links)
- Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces (Q5283203) (← links)
