Cardinality of relations with applications
DOI10.1016/J.DISC.2016.06.019zbMATH Open1403.03132OpenAlexW2497641018MaRDI QIDQ738869FDOQ738869
Rudolf Berghammer, Insa Stucke, Nikita Danilenko, Peter Höfner
Publication date: 16 August 2016
Published in: Discrete Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.disc.2016.06.019
Recommendations
decompositionmatchinggraph parametervertex coverrelation algebrabipartite relationcardinality operationpoint axiom
Edge subsets with special properties (factorization, matching, partitioning, covering and packing, etc.) (05C70) 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
- Programs as partial graphs. I: Flow equivalence and correctness
- Relational Methods in Computer Science
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the calculus of relations
- Title not available (Why is that?)
- Relation algebras
- TWO THEOREMS IN GRAPH THEORY
- Title not available (Why is that?)
- Kleene Algebra with Tests and Coq Tools for while Programs
- Automated Verification of Relational While-Programs
- Equivalents of the axiom of choice. 2nd ed
- Relation algebras: Concept of points and representability
- Theory and applications of relational structures as knowledge instruments. COST Action 274, TARSKI. Revised papers
- Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL
- Ordnungen, Verbände und Relationen mit Anwendungen
- On Automating the Calculus of Relations
- Title not available (Why is that?)
- On the Cardinality of Relations
- Theory and applications of relational structures as knowledge instruments II. International workshops of COST Action 274, TARSKI, 2002--2005. Selected revised papers
- Cardinality functions in allegories
- Relation algebraic domain constructions
- Using Relations to Develop a Haskell Program for Computing Maximum Bipartite Matchings
- Tool-Based Verification of a Relational Vertex Coloring Program
- On Automated Program Construction and Verification
- Title not available (Why is that?)
- Cardinality of relations and relational approximation algorithms
Cited In (7)
- On the Cardinality of Relations
- Collections, Cardinalities, and Relations
- Cardinality and the Borda score
- Relational characterisations of paths
- Algebraic Investigation of Connected Components
- Cardinalities of Finite Relations in Coq
- Reasoning About Cardinalities of Relations with Applications Supported by Proof Assistants
Uses Software
This page was built for publication: Cardinality of relations with applications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q738869)
