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

@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HOL
@@ Property / describes a project that uses: HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Relation Algebra
@@ Property / describes a project that uses: Relation Algebra / 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.1007/978-3-319-57418-9_18
+Normal rank
@@ Property / OpenAlex ID @@
+W2608071279
@@ Property / OpenAlex ID: W2608071279 / rank @@
+Normal rank
@@ 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