Cardinality of relations with applications

DOI10.1016/J.DISC.2016.06.019MaRDI QIDQ738869zbMATH OpenOpenAlexFDO

Authors Rudolf Berghammer, Nikita Danilenko, Peter Höfner, Insa Stucke

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

zbMATH Keywords

decompositionmatchinggraph parametervertex coverrelation algebrabipartite relationcardinality operationpoint axiom

Mathematics Subject Classification ID

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)

Recommendations

• On the Cardinality of Relations
• Cardinality of relations and relational approximation algorithms
• Cardinalities of Finite Relations in Coq
• Cardinal characteristics on graphs
• On the strength of König's duality theorem for infinite bipartite graphs

Cites work

• scientific article; zbMATH DE number 193143 (Why is no real title available?)
• scientific article; zbMATH DE number 1281921 (Why is no real title available?)
• scientific article; zbMATH DE number 1086627 (Why is no real title available?)
• scientific article; zbMATH DE number 234018 (Why is no real title available?)
• scientific article; zbMATH DE number 2203240 (Why is no real title available?)
• Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL
• Automated verification of relational while-programs
• Cardinality functions in allegories
• Cardinality of relations and relational approximation algorithms
• Computer Algebra in Scientific Computing
• Equivalents of the axiom of choice. 2nd ed
• Kleene algebra with tests and Coq tools for while programs
• On Automating the Calculus of Relations
• On automated program construction and verification
• On the Cardinality of Relations
• On the calculus of relations
• Ordnungen, Verbände und Relationen mit Anwendungen
• Programs as partial graphs. I: Flow equivalence and correctness
• Relation algebraic domain constructions
• Relation algebras
• Relation algebras: Concept of points and representability
• Relational Methods in Computer Science
• Relational mathematics
• TWO THEOREMS IN GRAPH THEORY
• Theory and applications of relational structures as knowledge instruments II. International workshops of COST Action 274, TARSKI, 2002--2005. Selected revised papers
• Theory and applications of relational structures as knowledge instruments. COST Action 274, TARSKI. Revised papers
• Tool-Based Verification of a Relational Vertex Coloring Program
• Using relations to develop a Haskell program for computing maximum bipartite matchings

Cited in

(9)

• Investigating and computing bipartitions with algebraic means
• Collections, Cardinalities, and Relations
• Algebraic investigation of connected components
• Relational characterisations of paths
• Reasoning about cardinalities of relations with applications supported by proof assistants
• Cardinality and the Borda score
• On the Cardinality of Relations
• Cardinality of relations and relational approximation algorithms
• Cardinalities of Finite Relations in Coq

Describes a project that uses

Uses Software

• Coq
• RelView

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)