The following pages link to (Q3994777):
Displaying 50 items.
- Generalization bounds for learning weighted automata (Q1704563) (← links)
- Relative degree of interconnected SISO nonlinear control systems (Q1729138) (← links)
- The language equivalence problem for HD0L systems having D0L growths (Q1763705) (← links)
- Explicit test sets for iterated morphisms in free monoids and metabelian groups (Q1763708) (← links)
- It is decidable whether the image of an \(\mathbb N\)-rational sequence has a base (Q1773328) (← links)
- (Pure) transcendence bases in \(\varphi\)-deformed shuffle bialgebras (Q1788408) (← links)
- A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata (Q1797781) (← links)
- On the sentence valuation in a semiring (Q1810466) (← links)
- The Kleene-Schützenberger theorem for formal power series in partially commuting variables. (Q1854303) (← links)
- Regular languages accepted by quantum automata (Q1854417) (← links)
- On some Schützenberger conjectures (Q1854441) (← links)
- The monadic theory of morphic infinite words and generalizations (Q1854542) (← links)
- A non-ambiguous decomposition of regular languages and factorizing codes (Q1861571) (← links)
- The finite power property in free groups (Q1870586) (← links)
- A solution to the problem of (\(A\),\(B\))-invariance for series (Q1870589) (← links)
- Decidability questions related to abstract numeration systems (Q1877679) (← links)
- Finitely presented modules over Leavitt algebras. (Q1878431) (← links)
- A rational noncommutative invariant of boundary links (Q1882815) (← links)
- Behavioural differential equations: a coinductive calculus of streams, automata, and power series (Q1884876) (← links)
- Minor identities for quasi-determinants and quantum determinants (Q1894851) (← links)
- Valuations, regular expressions, and fractal geometry (Q1908904) (← links)
- Inversion height in free fields (Q1919132) (← links)
- A proof of Moessner's theorem by coinduction (Q1929334) (← links)
- Weighted automata and weighted MSO logics for average and long-time behaviors (Q1932173) (← links)
- Noncommutative rational functions, their difference-differential calculus and realizations (Q1937788) (← links)
- Joint spectral radius, dilation equations, and asymptotic behavior of radix-rational sequences (Q1938671) (← links)
- Root-restricted Kleenean rotations (Q1944034) (← links)
- Lexicographic decomposition of \(k\)-valued transducers (Q1959399) (← links)
- Codes and noncommutative stochastic matrices (Q1959746) (← links)
- Enumerative sequences of leaves and nodes in rational trees (Q1960518) (← links)
- Petri net languages and infinite subsets of \(\mathbb{N}^m\) (Q1970198) (← links)
- Colored operads, series on colored operads, and combinatorial generating systems (Q1999730) (← links)
- Entropy of tropical holonomic sequences (Q2048158) (← links)
- Finite sequentiality of unambiguous max-plus tree automata (Q2048206) (← links)
- What's decidable about weighted automata? (Q2064522) (← links)
- Principal abstract families of weighted tree languages (Q2064529) (← links)
- Weighted operator precedence languages (Q2064530) (← links)
- On the solutions of the universal differential equation with three regular singularities (on solutions of \(KZ_3)\) (Q2074013) (← links)
- Automata and rational expressions (Q2074204) (← links)
- Weighted automata (Q2074206) (← links)
- Equational theories for automata (Q2074221) (← links)
- Entropy of generating series for nonlinear input-output systems and their interconnections (Q2093003) (← links)
- Disambiguation of weighted tree automata (Q2096595) (← links)
- Image-binary automata (Q2096597) (← links)
- Number of prefixes in trace monoids: clique polynomials and dependency graphs (Q2106610) (← links)
- Realizations of non-commutative rational functions around a matrix centre. II: The lost-abbey conditions (Q2108019) (← links)
- Ambiguity hierarchies for weighted tree automata (Q2117674) (← links)
- Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids (Q2136289) (← links)
- Conway's work on iteration (Q2153969) (← links)
- Nonlinear system identification for multivariable control via discrete-time Chen-Fliess series (Q2207213) (← links)
