Backtracking games and inflationary fixed points (Q817842): Difference between revisions

@@ 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.1016/j.tcs.2005.10.030
+Normal rank
@@ Property / OpenAlex ID @@
+W2108755250
@@ Property / OpenAlex ID: W2108755250 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q58215641
@@ Property / Wikidata QID: Q58215641 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5494230
@@ Property / cites work: Q5494230 / rank @@
+Normal rank
@@ Property / cites work @@
+Inflationary fixed points in modal logic
@@ Property / cites work: Inflationary fixed points in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, logics, and infinite games. A guide to current research
+Normal rank
@@ Property / cites work @@
+Borel determinacy
@@ Property / cites work: Borel determinacy / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of iterated modal relativization
+Normal rank
@@ Property / cites work @@
+Q4131648
@@ Property / cites work: Q4131648 / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic second order logic on tree-like structures
+Normal rank