On the Cardinality of Relations
From MaRDI portal
Publication:5459186
DOI10.1007/11828563_17zbMath1134.03318MaRDI QIDQ5459186
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
90C35: Programming involving graphs or networks
03E72: Theory of fuzzy sets, etc.
05C70: Edge subsets with special properties (factorization, matching, partitioning, covering and packing, etc.)
03E20: Other classical set theory (including functions, relations, and set algebra)
Related Items
Algebraic Investigation of Connected Components, Reasoning About Cardinalities of Relations with Applications Supported by Proof Assistants, Cardinality of relations and relational approximation algorithms, Hopscotch -- reaching the target hop by hop, Cardinality functions in allegories, Cardinality of relations with applications, An algebraic framework for minimum spanning tree problems, Relational characterisations of paths, Relational computation of sets of relations, Cardinalities of Finite Relations in Coq, Relation-Algebraic Verification of Prim’s Minimum Spanning Tree Algorithm, Cardinality in Allegories, Circulations, Fuzzy Relations and Semirings