Cryptomorphic topological structures: a computational, relation-algebraic approach

DOI10.1016/J.JLAMP.2018.09.004MaRDI QIDQ1633340zbMATH OpenOpenAlexWikidataFDO

Authors Rudolf Berghammer, Gunther Schmidt, Michael Winter

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

zbMATH Keywords

topological spacecalculus of relationsrelation algebrasAumann contact

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Topological spaces and generalizations (closure spaces, etc.) (54A05) Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• A Point-Free Relation-Algebraic Approach to General Topology
• Relational topology
• 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
• scientific article; zbMATH DE number 107659

Cites work

• scientific article; zbMATH DE number 3654979 (Why is no real title available?)
• scientific article; zbMATH DE number 45228 (Why is no real title available?)
• scientific article; zbMATH DE number 193143 (Why is no real title available?)
• scientific article; zbMATH DE number 194258 (Why is no real title available?)
• scientific article; zbMATH DE number 3479763 (Why is no real title available?)
• scientific article; zbMATH DE number 3499664 (Why is no real title available?)
• scientific article; zbMATH DE number 1953899 (Why is no real title available?)
• scientific article; zbMATH DE number 868090 (Why is no real title available?)
• scientific article; zbMATH DE number 3428183 (Why is no real title available?)
• scientific article; zbMATH DE number 3234211 (Why is no real title available?)
• scientific article; zbMATH DE number 3379780 (Why is no real title available?)
• A Point-Free Relation-Algebraic Approach to General Topology
• Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL
• Automated verification of relational while-programs
• Cartesian bicategories. I
• Computer Algebra in Scientific Computing
• Contact, closure, topology, and the linking of row and column types of relations
• Mereotopology: A theory of parts and boundaries
• Monomorphic characterization of \(n\)-ary direct products
• On Automating the Calculus of Relations
• Programs as partial graphs. I: Flow equivalence and correctness
• Relation algebras
• Relational Methods in Computer Science
• Relational topology
• Solving computational tasks on finite topologies by means of relation algebra and the \textsc{RelView} tool
• Symmetric quotients and domain constructions
• The lattices of closure systems, closure operators, and implicational systems on a finite set: A survey
• The point of pointless topology
• Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces
• Topology and maps

Cited in

(1)

• Relational topology

Describes a project that uses

Uses Software

• RelView

This page was built for publication: Cryptomorphic topological structures: a computational, relation-algebraic approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1633340)