An improved algorithm for the evaluation of fixpoint expressions (Q1391536): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking and boolean graphs
@@ Property / cites work: Model checking and boolean graphs / rank @@
+Normal rank
@@ Property / cites work @@
+A linear algorithm to solve fixed-point equations on transition systems
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Symbolic model checking: \(10^{20}\) states and beyond
+Normal rank
@@ Property / cites work @@
+A unified approach for showing language inclusion and equivalence between various types of \(\omega\)-automata
+Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(96)00228-9
+Normal rank
@@ Property / OpenAlex ID @@
+W1974672595
@@ Property / OpenAlex ID: W1974672595 / rank @@
+Normal rank