MONA IMPLEMENTATION SECRETS (Q3021971): Difference between revisions

@@ Property / author @@
-Michael I. Schwartzbach
@@ Property / author: Michael I. Schwartzbach / rank @@
-Normal rank
@@ Property / author @@
+Michael I. Schwartzbach
@@ Property / author: Michael I. Schwartzbach / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+Tree acceptors and some of their applications
@@ Property / cites work: Tree acceptors and some of their applications / rank @@
+Normal rank
@@ Property / cites work @@
+An nlogn Algorithm for Online BDD Refinement
@@ Property / cites work: An nlogn Algorithm for Online BDD Refinement / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1142/s012905410200128x
+Normal rank
@@ Property / OpenAlex ID @@
+W1987469449
@@ Property / OpenAlex ID: W1987469449 / rank @@
+Normal rank