Solving computational tasks on finite topologies by means of relation algebra and the \textsc{RelView} tool (Q516028)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Solving computational tasks on finite topologies by means of relation algebra and the \textsc{RelView} tool |
scientific article |
Statements
Solving computational tasks on finite topologies by means of relation algebra and the \textsc{RelView} tool (English)
0 references
20 March 2017
0 references
relation algebra
0 references
finite topology base
0 references
subbase RelView tool
0 references
