Fixpoints, games and the difference hierarchy (Q4462675): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2148212355
@@ Property / OpenAlex ID: W2148212355 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4283233
@@ Property / cites work: Q4283233 / rank @@
+Normal rank
@@ Property / cites work @@
+The modal mu-calculus alternation hierarchy is strict
+Normal rank
@@ Property / cites work @@
+Q4945237
@@ Property / cites work: Q4945237 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4143272
@@ Property / cites work: Q4143272 / rank @@
+Normal rank
@@ Property / cites work @@
+Classical hierarchies from a modern standpoint. Part I. C-sets
+Normal rank
@@ Property / cites work @@
+The finite levels of the hierarchy of effective R-sets
+Normal rank
@@ Property / cites work @@
+Q4146722
@@ Property / cites work: Q4146722 / rank @@
+Normal rank
@@ Property / cites work @@
+<i>μ</i>-definable sets of integers
@@ Property / cites work: <i>μ</i>-definable sets of integers / rank @@
+Normal rank
@@ Property / cites work @@
+Descriptive set theory
@@ Property / cites work: Descriptive set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed point characterization of infinite behavior of finite-state systems
+Normal rank
@@ Property / cites work @@
+Fine hierarchy of regular \(\omega\)-languages
@@ Property / cites work: Fine hierarchy of regular \(\omega\)-languages / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4462675