A Weighted μ-Calculus on Words (Q3637241): 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.1007/978-3-642-02737-6_31
+Normal rank
@@ Property / OpenAlex ID @@
+W1833559297
@@ Property / OpenAlex ID: W1833559297 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4273664
@@ Property / cites work: Q4273664 / rank @@
+Normal rank
@@ Property / cites work @@
+Rudiments of \(\mu\)-calculus
@@ Property / cites work: Rudiments of \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449238
@@ Property / cites work: Q4449238 / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted automata and weighted logics
@@ Property / cites work: Weighted automata and weighted logics / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of weighted automata
@@ Property / cites work: Handbook of weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q3536079
@@ Property / cites work: Q3536079 / rank @@
+Normal rank
@@ Property / cites work @@
+Skew and infinitary formal power series
@@ Property / cites work: Skew and infinitary formal power series / rank @@
+Normal rank
@@ Property / cites work @@
+ON WEIGHTED BÜCHI AUTOMATA WITH ORDER-COMPLETE WEIGHTS
+Normal rank
@@ Property / cites work @@
+Weighted Automata and Weighted Logics on Infinite Words
+Normal rank
@@ Property / cites work @@
+Q3431478
@@ Property / cites work: Q3431478 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4910728
@@ Property / cites work: Q4910728 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5502720
@@ Property / cites work: Q5502720 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / 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 @@
+Q3704880
@@ Property / cites work: Q3704880 / rank @@
+Normal rank
@@ Property / cites work @@
+Lattice Automata
@@ Property / cites work: Lattice Automata / rank @@
+Normal rank
@@ Property / cites work @@
+On the definition of a family of automata
@@ Property / cites work: On the definition of a family of automata / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3637241