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

@@ 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