Cryptomorphic topological structures: a computational, relation-algebraic approach
From MaRDI portal
Publication:1633340
DOI10.1016/j.jlamp.2018.09.004zbMath1452.03139OpenAlexW2893802702MaRDI QIDQ1633340
Michael Winter, Rudolf Berghammer, Gunther Schmidt
Publication date: 19 December 2018
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlamp.2018.09.004
Symbolic computation and algebraic computation (68W30) Topological spaces and generalizations (closure spaces, etc.) (54A05) Cylindric and polyadic algebras; relation algebras (03G15)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Solving computational tasks on finite topologies by means of relation algebra and the \textsc{RelView} tool
- Contact, closure, topology, and the linking of row and column types of relations
- Symmetric quotients and domain constructions
- Relation algebras
- Cartesian bicategories. I
- Programs as partial graphs. I: Flow equivalence and correctness
- Topology and maps
- Relational topology
- The lattices of closure systems, closure operators, and implicational systems on a finite set: A survey
- Monomorphic characterization of \(n\)-ary direct products
- Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL
- On Automating the Calculus of Relations
- The point of pointless topology
- Mereotopology: A theory of parts and boundaries
- Relational Methods in Computer Science
- Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces
- Automated Verification of Relational While-Programs
- A Point-Free Relation-Algebraic Approach to General Topology
- Computer Algebra in Scientific Computing
This page was built for publication: Cryptomorphic topological structures: a computational, relation-algebraic approach
