An initial semantics for the \(\mu\)-calculus on trees and Rabin's complementation lemma (Q672383): 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/0304-3975(95)00069-9
+Normal rank
@@ Property / OpenAlex ID @@
+W2048686066
@@ Property / OpenAlex ID: W2048686066 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q124999909
@@ Property / Wikidata QID: Q124999909 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4273664
@@ Property / cites work: Q4273664 / rank @@
+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 @@
+Q4431395
@@ Property / cites work: Q4431395 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating automata on infinite trees
@@ Property / cites work: Alternating automata on infinite trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q3730012
@@ Property / cites work: Q3730012 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite trees and automaton-definable relations over \(\omega\)-words
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:672383