The following pages link to (Q3994777):
Displaying 50 items.
- Analytic and combinatoric aspects of Hurwitz polyzetas (Q933161) (← links)
- Weighted automata with discounting (Q963467) (← links)
- A coinductive calculus of binary trees (Q964505) (← links)
- Characteristic polynomials of nonnegative real square matrices and generalized clique polynomials (Q972787) (← links)
- \(\mathbb Z\)-rationality of a certain class of formal series (Q975423) (← links)
- Bilinear system interconnections and generating series of weighted Petri nets (Q976183) (← links)
- Component simulation-based substitutivity managing QoS and composition issues (Q988175) (← links)
- Fuzzy relation equations and reduction of fuzzy automata (Q988575) (← links)
- Determinization of weighted finite automata over strong bimonoids (Q991892) (← links)
- Singularities of rational functions and minimal factorizations: the noncommutative and the commutative setting (Q999772) (← links)
- Characterizations of recognizable picture series (Q1022605) (← links)
- The Parikh counting functions of sparse context-free languages are quasi-polynomials (Q1034637) (← links)
- Strongly transitive automata and the Černý conjecture (Q1038421) (← links)
- A note on the equivalence problem of rational formal power series (Q1087021) (← links)
- Finite biprefix sets of paths in a graph (Q1105386) (← links)
- On generalized zeta functions of formal languages and series (Q1179183) (← links)
- Generalized semigroup semirings which are zero-divisor-free or multiplicatively left-cancellative (Q1184997) (← links)
- Turing computability with neural nets (Q1190653) (← links)
- The ring of \(k\)-regular sequences (Q1193879) (← links)
- On the decidability of the equivalence problem for partially commutative rational power series (Q1193904) (← links)
- Rational relations and rational series (Q1194313) (← links)
- Multiplicities: A deterministic view of nondeterminism (Q1194314) (← links)
- Rational series with coefficients in a commutative ring (Q1194316) (← links)
- Models of a \(K\)-rational identity system (Q1201883) (← links)
- On rational series and rational languages (Q1275092) (← links)
- Examples of undecidable problems for 2-generator matrix semigroups (Q1275458) (← links)
- Recognizable formal series on trees and cofree coalgebraic systems (Q1295934) (← links)
- The computational complexity of some problems of linear algebra (Q1307698) (← links)
- On D0L systems with immigration (Q1314370) (← links)
- On two families of forests (Q1323385) (← links)
- The sum of nil one-sided ideals of bounded index of a ring (Q1343843) (← links)
- A rationality criterion coming from noncommutative geometry (Q1358258) (← links)
- Dirichlet functions of order \(n\) and parameter \(t\) (Q1381827) (← links)
- Nonnegative companion matrices and star-height of \(\mathbb{N}\)-rational series (Q1390858) (← links)
- On Lindenmayerian algebraic power series (Q1391140) (← links)
- On Lindenmayerian algebraic sequences (Q1391141) (← links)
- On images of D0L and DT0L power series. (Q1401199) (← links)
- On the number of occurrences of a symbol in words of regular languages. (Q1401339) (← links)
- Decidability results for Watson-Crick D0L systems with nonregular triggers. (Q1401343) (← links)
- On transformations of formal power series. (Q1401954) (← links)
- Computing the average parallelism in trace monoids. (Q1417573) (← links)
- Derivatives of rational expressions and related theorems. (Q1426157) (← links)
- Scheduling hard sporadic tasks with regular languages and generating functions. (Q1426168) (← links)
- Summations of polylogarithms via Evaluation transform. (Q1565860) (← links)
- On D0L power series (Q1575708) (← links)
- Complete formal systems for equivalence problems (Q1575907) (← links)
- Rational languages defined with a non-associative concatenation (Q1575941) (← links)
- The presence of a zero in an integer linear recurrent sequence is NP-hard to decide (Q1611897) (← links)
- Representation of normal bands as semigroups of \(k\)-bi-ideals of a semiring (Q1646605) (← links)
- A generalized Goulden-Jackson cluster method and lattice path enumeration (Q1685986) (← links)
