Definable transductions and weighted logics for texts (Q844894): 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.2009.09.040
+Normal rank
@@ Property / OpenAlex ID @@
+W2031074658
@@ Property / OpenAlex ID: W2031074658 / rank @@
+Normal rank
@@ Property / cites work @@
+Learning functions represented as multiplicity automata
+Normal rank
@@ Property / cites work @@
+Q3994777
@@ Property / cites work: Q3994777 / rank @@
+Normal rank
@@ Property / cites work @@
+A comparison of tree transductions defined by monadic second order logic and by attribute grammars
+Normal rank
@@ Property / cites work @@
+Weighted Distributed Systems and Their Logics
@@ Property / cites work: Weighted Distributed Systems and Their Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5694616
@@ Property / cites work: Q5694616 / rank @@
+Normal rank
@@ Property / cites work @@
+Effective construction of the syntactic algebra of a recognizable series on trees
+Normal rank
@@ Property / cites work @@
+Représentations matricielles des séries d'arbre reconnaissables
+Normal rank
@@ Property / cites work @@
+The rank of a formal tree power series
@@ Property / cites work: The rank of a formal tree power series / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+Monadic second-order definable graph transductions: a survey
+Normal rank
@@ Property / cites work @@
+Basic notions of universal algebra for language theory and graph grammars
+Normal rank
@@ Property / cites work @@
+Tree acceptors and some of their applications
@@ Property / cites work: Tree acceptors and some of their applications / 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 @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of weighted automata
@@ Property / cites work: Handbook of weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted Automata and Weighted Logics on Infinite Words
+Normal rank
@@ Property / cites work @@
+Weighted Automata and Weighted Logics with Discounting
+Normal rank
@@ Property / cites work @@
+Weighted logics for unranked tree automata
@@ Property / cites work: Weighted logics for unranked tree automata / rank @@
+Normal rank
@@ Property / cites work @@
+On transformations of formal power series.
@@ Property / cites work: On transformations of formal power series. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4492680
@@ Property / cites work: Q4492680 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of 2-structures. I: Clans, basic subclasses, and morphisms
+Normal rank
@@ Property / cites work @@
+T-structures, T-functions, and texts
@@ Property / cites work: T-structures, T-functions, and texts / rank @@
+Normal rank
@@ Property / cites work @@
+Context-free text grammars
@@ Property / cites work: Context-free text grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Decision Problems of Finite Automata Design and Related Arithmetics
+Normal rank
@@ Property / cites work @@
+MSO definable string transductions and two-way finite-state transducers
+Normal rank
@@ Property / cites work @@
+Q5431915
@@ Property / cites work: Q5431915 / rank @@
+Normal rank
@@ Property / cites work @@
+Macro tree transducers, attribute grammars, and MSO definable tree translations.
+Normal rank
@@ Property / cites work @@
+Q2742602
@@ Property / cites work: Q2742602 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449537
@@ Property / cites work: Q4449537 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4654639
@@ Property / cites work: Q4654639 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3655364
@@ Property / cites work: Q3655364 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4179852
@@ Property / cites work: Q4179852 / rank @@
+Normal rank
@@ Property / cites work @@
+Learning Multiplicity Tree Automata
@@ Property / cites work: Learning Multiplicity Tree Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4503146
@@ Property / cites work: Q4503146 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4465336
@@ Property / cites work: Q4465336 / rank @@
+Normal rank
@@ Property / cites work @@
+Regular binoid expressions and regular binoid languages.
+Normal rank
@@ Property / cites work @@
+Q4874660
@@ Property / cites work: Q4874660 / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic second-order definable text languages
@@ Property / cites work: Monadic second-order definable text languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q3028363
@@ Property / cites work: Q3028363 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal series over sorted algebras
@@ Property / cites work: Formal series over sorted algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3704880
@@ Property / cites work: Q3704880 / rank @@
+Normal rank
@@ Property / cites work @@
+Branching automata with costs -- a way of reflecting parallelism in costs
+Normal rank
@@ Property / cites work @@
+Q2770573
@@ Property / cites work: Q2770573 / rank @@
+Normal rank
@@ Property / cites work @@
+Rationality in algebras with a series operation
@@ Property / cites work: Rationality in algebras with a series operation / rank @@
+Normal rank
@@ Property / cites work @@
+Some remarks on recognizable treeseries
@@ Property / cites work: Some remarks on recognizable treeseries / rank @@
+Normal rank
@@ Property / cites work @@
+RELATING TREE SERIES TRANSDUCERS AND WEIGHTED TREE AUTOMATA
+Normal rank
@@ Property / cites work @@
+Definable Transductions and Weighted Logics for Texts
+Normal rank
@@ Property / cites work @@
+Weighted Logics for Nested Words and Algebraic Formal Power Series
+Normal rank
@@ Property / cites work @@
+Existential MSO over two successors is strictly weaker than over linear orders
+Normal rank
@@ Property / cites work @@
+Weighted Picture Automata and Weighted Logics
@@ Property / cites work: Weighted Picture Automata and Weighted Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted Logics for Traces
@@ Property / cites work: Weighted Logics for Traces / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic automata and context-free sets
@@ Property / cites work: Algebraic automata and context-free sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3683903
@@ Property / cites work: Q3683903 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3515223
@@ Property / cites work: Q3515223 / rank @@
+Normal rank
@@ Property / cites work @@
+Series formelles et algèbres syntactiques
@@ Property / cites work: Series formelles et algèbres syntactiques / rank @@
+Normal rank
@@ Property / cites work @@
+Q4155837
@@ Property / cites work: Q4155837 / 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
@@ Property / cites work @@
+Q3515224
@@ Property / cites work: Q3515224 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding Equivalence of Finite Tree Automata
@@ Property / cites work: Deciding Equivalence of Finite Tree Automata / rank @@
+Normal rank
@@ Property / cites work @@
+On some questions of rationality and decidability
@@ Property / cites work: On some questions of rationality and decidability / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized finite automata theory with an application to a decision problem of second-order logic
+Normal rank
@@ Property / cites work @@
+Q4036584
@@ Property / cites work: Q4036584 / rank @@
+Normal rank
@@ Property / cites work @@
+On rational series and rational languages
@@ Property / cites work: On rational series and rational languages / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2004
@@ Property / cites work: Mathematical Foundations of Computer Science 2004 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:844894