ON MODAL μ-CALCULUS OVER FINITE GRAPHS WITH SMALL COMPONENTS OR SMALL TREE WIDTH (Q2909221): Difference between revisions

@@ Property / cites work @@
+The modal<i>μ</i>-calculus hierarchy over restricted classes of transition systems
+Normal rank
@@ Property / cites work @@
+On modal \(\mu \)-calculus and Gödel-Löb logic
@@ Property / cites work: On modal \(\mu \)-calculus and Gödel-Löb logic / rank @@
+Normal rank
@@ Property / cites work @@
+Rudiments of \(\mu\)-calculus
@@ Property / cites work: Rudiments of \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Modal characterisation theorems over special classes of frames
+Normal rank
@@ Property / cites work @@
+S-functions for graphs
@@ Property / cites work: S-functions for graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Directed tree-width
@@ Property / cites work: Directed tree-width / rank @@
+Normal rank
@@ Property / cites work @@
+A Deterministic Subexponential Algorithm for Solving Parity Games
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Borel determinacy
@@ Property / cites work: Borel determinacy / rank @@
+Normal rank
@@ Property / cites work @@
+Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra
+Normal rank
@@ Property / cites work @@
+Fixed point characterization of infinite behavior of finite-state systems
+Normal rank
@@ Property / cites work @@
+Graph minors. III. Planar tree-width
@@ Property / cites work: Graph minors. III. Planar tree-width / rank @@
+Normal rank
@@ Property / cites work @@
+Graph minors. V. Excluding a planar graph
@@ Property / cites work: Graph minors. V. Excluding a planar graph / rank @@
+Normal rank
@@ Property / cites work @@
+Modal frame correspondences and fixed-points
@@ Property / cites work: Modal frame correspondences and fixed-points / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1142/s012905411240031x
+Normal rank
@@ Property / OpenAlex ID @@
+W2083449758
@@ Property / OpenAlex ID: W2083449758 / rank @@
+Normal rank