On the Cardinality of Relations

DOI10.1007/11828563_17zbMath1134.03318OpenAlexW1574773091MaRDI QIDQ5459186

Yasuo Kawahara

Publication date: 24 April 2008

Published in: Relations and Kleene Algebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11828563_17

Mathematics Subject Classification ID

Programming involving graphs or networks (90C35) Theory of fuzzy sets, etc. (03E72) Edge subsets with special properties (factorization, matching, partitioning, covering and packing, etc.) (05C70) Other classical set theory (including functions, relations, and set algebra) (03E20)

Related Items (13)

Algebraic Investigation of Connected Components ⋮ Reasoning About Cardinalities of Relations with Applications Supported by Proof Assistants ⋮ Relation-Algebraic Verification of Prim’s Minimum Spanning Tree Algorithm ⋮ Cardinality functions in allegories ⋮ Cardinality in Allegories ⋮ Hopscotch -- reaching the target hop by hop ⋮ Relational computation of sets of relations ⋮ Circulations, Fuzzy Relations and Semirings ⋮ Relational characterisations of paths ⋮ An algebraic framework for minimum spanning tree problems ⋮ Cardinality of relations and relational approximation algorithms ⋮ Cardinality of relations with applications ⋮ Cardinalities of Finite Relations in Coq

This page was built for publication: On the Cardinality of Relations