Cardinality of relations with applications

DOI10.1016/j.disc.2016.06.019zbMath1403.03132OpenAlexW2497641018MaRDI QIDQ738869

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

zbMATH Keywords

decompositionmatchingrelation algebravertex covercardinality operationgraph parameterbipartite relationpoint 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)

Related Items (3)

Algebraic Investigation of Connected Components ⋮ Reasoning About Cardinalities of Relations with Applications Supported by Proof Assistants ⋮ Relational characterisations of paths

Uses Software

• Coq
• RelView

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Cardinality functions in allegories
• Relation algebras
• Theory and applications of relational structures as knowledge instruments II. International workshops of COST Action 274, TARSKI, 2002--2005. Selected revised papers
• Relation algebras: Concept of points and representability
• Equivalents of the axiom of choice. 2nd ed
• Programs as partial graphs. I: Flow equivalence and correctness
• Relation algebraic domain constructions
• Theory and applications of relational structures as knowledge instruments. COST Action 274, TARSKI. Revised papers
• Using Relations to Develop a Haskell Program for Computing Maximum Bipartite Matchings
• Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL
• Ordnungen, Verbände und Relationen mit Anwendungen
• TWO THEOREMS IN GRAPH THEORY
• Tool-Based Verification of a Relational Vertex Coloring Program
• On Automating the Calculus of Relations
• On Automated Program Construction and Verification
• Relational Methods in Computer Science
• Kleene Algebra with Tests and Coq Tools for while Programs
• Automated Verification of Relational While-Programs
• On the Cardinality of Relations
• Computer Algebra in Scientific Computing
• On the calculus of relations
• Cardinality of relations and relational approximation algorithms

This page was built for publication: Cardinality of relations with applications