Cardinality of relations with applications (Q738869): Difference between revisions

@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RelView
@@ Property / describes a project that uses: RelView / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.disc.2016.06.019
+Normal rank
@@ Property / OpenAlex ID @@
+W2497641018
@@ Property / OpenAlex ID: W2497641018 / rank @@
+Normal rank
@@ Property / cites work @@
+TWO THEOREMS IN GRAPH THEORY
@@ Property / cites work: TWO THEOREMS IN GRAPH THEORY / rank @@
+Normal rank
@@ Property / cites work @@
+Ordnungen, Verbände und Relationen mit Anwendungen
+Normal rank
@@ Property / cites work @@
+Automated Verification of Relational While-Programs
+Normal rank
@@ Property / cites work @@
+Tool-Based Verification of a Relational Vertex Coloring Program
+Normal rank
@@ Property / cites work @@
+Cardinality of relations and relational approximation algorithms
+Normal rank
@@ Property / cites work @@
+Computer Algebra in Scientific Computing
@@ Property / cites work: Computer Algebra in Scientific Computing / rank @@
+Normal rank
@@ Property / cites work @@
+On Automated Program Construction and Verification
+Normal rank
@@ Property / cites work @@
+Relational Methods in Computer Science
@@ Property / cites work: Relational Methods in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Using Relations to Develop a Haskell Program for Computing Maximum Bipartite Matchings
+Normal rank
@@ Property / cites work @@
+Theory and applications of relational structures as knowledge instruments. COST Action 274, TARSKI. Revised papers
+Normal rank
@@ Property / cites work @@
+Theory and applications of relational structures as knowledge instruments II. International workshops of COST Action 274, TARSKI, 2002--2005. Selected revised papers
+Normal rank
@@ Property / cites work @@
+Q5315023
@@ Property / cites work: Q5315023 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL
+Normal rank
@@ Property / cites work @@
+Q4240999
@@ Property / cites work: Q4240999 / rank @@
+Normal rank
@@ Property / cites work @@
+On Automating the Calculus of Relations
@@ Property / cites work: On Automating the Calculus of Relations / rank @@
+Normal rank
@@ Property / cites work @@
+On the Cardinality of Relations
@@ Property / cites work: On the Cardinality of Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Cardinality functions in allegories
@@ Property / cites work: Cardinality functions in allegories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4362875
@@ Property / cites work: Q4362875 / rank @@
+Normal rank
@@ Property / cites work @@
+Relation algebras
@@ Property / cites work: Relation algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Kleene Algebra with Tests and Coq Tools for while Programs
+Normal rank
@@ Property / cites work @@
+Equivalents of the axiom of choice. 2nd ed
@@ Property / cites work: Equivalents of the axiom of choice. 2nd ed / rank @@
+Normal rank
@@ Property / cites work @@
+Programs as partial graphs. I: Flow equivalence and correctness
+Normal rank
@@ Property / cites work @@
+Q3060335
@@ Property / cites work: Q3060335 / rank @@
+Normal rank
@@ Property / cites work @@
+Relation algebras: Concept of points and representability
+Normal rank
@@ Property / cites work @@
+Q5287518
@@ Property / cites work: Q5287518 / rank @@
+Normal rank
@@ Property / cites work @@
+On the calculus of relations
@@ Property / cites work: On the calculus of relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040000
@@ Property / cites work: Q4040000 / rank @@
+Normal rank
@@ Property / cites work @@
+Relation algebraic domain constructions
@@ Property / cites work: Relation algebraic domain constructions / rank @@
+Normal rank