Applying Data Refinement for Monadic Programs to Hopcroft’s Algorithm (Q2914741): Difference between revisions

@@ Property / describes a project that uses @@
+Collections
@@ Property / describes a project that uses: Collections / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TkWinHOL
@@ Property / describes a project that uses: TkWinHOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Scala
@@ Property / describes a project that uses: Scala / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Tree Automata
@@ Property / describes a project that uses: Tree Automata / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Archive Formal Proofs
@@ Property / describes a project that uses: Archive Formal Proofs / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DiskPaxos
@@ Property / describes a project that uses: DiskPaxos / rank @@
+Normal rank
@@ 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 @@
+FAdo
@@ Property / describes a project that uses: FAdo / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GUItar
@@ Property / describes a project that uses: GUItar / 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-642-32347-8_12
+Normal rank
@@ Property / OpenAlex ID @@
+W77329694
@@ Property / OpenAlex ID: W77329694 / rank @@
+Normal rank