Solving computational tasks on finite topologies by means of relation algebra and the RelView tool

Rudolf Berghammer, Michael Winter. Solving computational tasks on finite topologies by means of relation algebra and the RelView tool. Journal of Logic and Algebraic Programming, 88:1-25, 2017. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: