Algebraic Investigation of Connected Components (Q5283206): Difference between revisions

@@ Property / describes a project that uses @@
+Mace4
@@ Property / describes a project that uses: Mace4 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle
@@ Property / describes a project that uses: Isabelle / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Prover9
@@ Property / describes a project that uses: Prover9 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / 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_7
+Normal rank
@@ Property / OpenAlex ID @@
+W2608902746
@@ Property / OpenAlex ID: W2608902746 / 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 @@
+Q5532570
@@ Property / cites work: Q5532570 / rank @@
+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 @@
+Investigating and Computing Bipartitions with Algebraic Means
+Normal rank
@@ Property / cites work @@
+Interacting with Modal Logics in the Coq Proof Assistant
+Normal rank
@@ Property / cites work @@
+Q4673439
@@ Property / cites work: Q4673439 / rank @@
+Normal rank
@@ Property / cites work @@
+Kleene algebra with domain
@@ Property / cites work: Kleene algebra with domain / rank @@
+Normal rank
@@ Property / cites work @@
+Point Axioms in Dedekind Categories
@@ Property / cites work: Point Axioms in Dedekind Categories / rank @@
+Normal rank
@@ Property / cites work @@
+A Semiring Approach to Equivalences, Bisimulations and Control
+Normal rank
@@ Property / cites work @@
+Varieties of lattices
@@ Property / cites work: Varieties of lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Graphs, networks and algorithms. Based on the translation of the 3rd German edition by Tilla Schade in collaboration with the author
+Normal rank
@@ Property / cites work @@
+On the Cardinality of Relations
@@ Property / cites work: On the Cardinality of Relations / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic formalization of fuzzy relations
@@ Property / cites work: An algebraic formalization of fuzzy relations / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem for Kleene algebras and the algebra of regular events
+Normal rank
@@ Property / cites work @@
+Quantales and Temporal Logics
@@ Property / cites work: Quantales and Temporal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+A strong-connectivity algorithm and its applications in data flow analysis
+Normal rank
@@ Property / cites work @@
+Q5287518
@@ Property / cites work: Q5287518 / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank