Contact, closure, topology, and the linking of row and column types of relations
DOI10.1016/J.JLAP.2011.04.007zbMATH Open1231.03058OpenAlexW1984255364MaRDI QIDQ549681FDOQ549681
Authors: Gunther Schmidt, Rudolf Berghammer 
Publication date: 18 July 2011
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlap.2011.04.007
Recommendations
- scientific article; zbMATH DE number 495471
- Relations between some topologies
- Relations arising from coverings and their topological structures
- Topological relations
- Relation and topology. -- Neighbor element structure and convergence in relations
- Relational topology
- scientific article; zbMATH DE number 919564
- scientific article; zbMATH DE number 1735905
- scientific article; zbMATH DE number 3895131
- Mappings of closure relations
partial orderclosure operationtopological structurerelation algebracomplete latticecontact relation\texttt{RelView}column typesopen set topologyrow types
Symbolic computation and algebraic computation (68W30) Galois correspondences, closure operators (in relation to ordered sets) (06A15) Cylindric and polyadic algebras; relation algebras (03G15) Other classical set theory (including functions, relations, and set algebra) (03E20)
Cites Work
- Computer Algebra in Scientific Computing
- Title not available (Why is that?)
- Relational Methods in Computer Science
- Title not available (Why is that?)
- Relational mathematics
- Knowledge Spaces
- Functional dependencies in relational databases: A lattice point of view
- The lattices of closure systems, closure operators, and implicational systems on a finite set: A survey
- Computing and Visualizing Closure Objects Using Relation Algebra and RelView
- Relation-algebraic computation of fixed points with applications
- A representation theorem for Boolean contact algebras
- Symmetric quotients and domain constructions
- Title not available (Why is that?)
- Title not available (Why is that?)
- Embedding mappings and splittings with applications
- A proof system for contact relation algebras
Cited In (7)
- Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces
- Gunther Schmidt's life as a mathematician and computer scientist
- A relation-algebraic approach to multirelations and predicate transformers
- Cryptomorphic topological structures: a computational, relation-algebraic approach
- Contact relations with applications
- Solving computational tasks on finite topologies by means of relation algebra and the \textsc{RelView} tool
- An algebraic approach to multirelations and their properties
Uses Software
This page was built for publication: Contact, closure, topology, and the linking of row and column types of relations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q549681)
