Simulations of Weighted Tree Automata (Q3073652): Difference between revisions

@@ Property / author @@
+Zoltán Ésik
@@ Property / author: Zoltán Ésik / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Forest FIRE
@@ Property / describes a project that uses: Forest FIRE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Tiburon
@@ Property / describes a project that uses: Tiburon / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MONA
@@ Property / describes a project that uses: MONA / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3123881330
@@ Property / OpenAlex ID: W3123881330 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.2079
@@ Property / arXiv ID: 1005.2079 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804925
@@ Property / cites work: Q4804925 / rank @@
+Normal rank
@@ Property / cites work @@
+Représentations matricielles des séries d'arbre reconnaissables
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Conjugacy and Equivalence of Weighted Automata and Functional Transducers
+Normal rank
@@ Property / cites work @@
+Q3994777
@@ Property / cites work: Q3994777 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287508
@@ Property / cites work: Q5287508 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449535
@@ Property / cites work: Q4449535 / rank @@
+Normal rank
@@ Property / cites work @@
+Effective construction of the syntactic algebra of a recognizable series on trees
+Normal rank
@@ Property / cites work @@
+Bisimulation relations for weighted automata
@@ Property / cites work: Bisimulation relations for weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4381396
@@ Property / cites work: Q4381396 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing the equational theory of regular tree languages
+Normal rank
@@ Property / cites work @@
+Q4229053
@@ Property / cites work: Q4229053 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation Minimisation for Weighted Tree Automata
+Normal rank
@@ Property / cites work @@
+Continuous monoids and semirings
@@ Property / cites work: Continuous monoids and semirings / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem for Kleene algebras and the algebra of regular events
+Normal rank
@@ Property / cites work @@
+Q3496299
@@ Property / cites work: Q3496299 / rank @@
+Normal rank
@@ Property / cites work @@
+Tiburon: A Weighted Tree Automata Toolkit
@@ Property / cites work: Tiburon: A Weighted Tree Automata Toolkit / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank