Reasoning About Cardinalities of Relations with Applications Supported by Proof Assistants (Q5283218): Difference between revisions

@@ Property / cites work @@
+Cardinality of relations with applications
@@ Property / cites work: Cardinality of relations with applications / rank @@
+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 @@
+Cardinalities of Finite Relations in Coq
@@ Property / cites work: Cardinalities of Finite Relations in Coq / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995720
@@ Property / cites work: Q3995720 / 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 @@
+Relation algebras
@@ Property / cites work: Relation algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Kleene Algebra with Tests and Coq Tools for while Programs
+Normal rank
@@ Property / cites work @@
+Q5287518
@@ Property / cites work: Q5287518 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning About Cardinalities of Relations with Applications Supported by Proof Assistants
+Normal rank
@@ Property / cites work @@
+Interacting with Modal Logics in the Coq Proof Assistant
+Normal rank