AbstractWe prove a new result on N-rational series in one variable. This result gives, under an appropriate hypothesis, a necessary and sufficient condition for an N-rational series to be of star-height 1. The proof uses a theorem of Handelman on integral companion matrices
We prove that any N-rational sequence s = (s n ) n1 of nonnegative integers satisfying the Kraft str...
AbstractWe prove that any N-rational sequence s = (sn)n ⩾ 1 of nonnegative integers satisfying the K...
. We prove that any IN-rational sequence s = (sn)n1 of nonnegative integers satisfying the Kraft str...
AbstractWe prove a new result on N-rational series in one variable. This result gives, under an appr...
AbstractSoittola’s theorem characterizes R+- or N-rational formal power series in one variable among...
This work concerns rational series having nonnegative integral coefficients and is centered on two k...
We prove some results related to the generalized star-height problem. In this problem, as opposed to...
AbstractWe prove some results related to the generalized star-height problem. In this problem, as op...
AbstractRegular trees can be defined by two types of rational expressions. For these two types we so...
We introduce the notion of super-state automaton constructed from another automaton. This constructi...
We define a notion of height for rational points with respect to a vector bundle on a proper algebra...
By using the universal Diophantine representation of recursively enumerable sets of positive integer...
Given a family of recognizable languages L1, . . . ,Lm and recognizable languages K1 ⊆ K2, the relat...
The Generalised Star-Height Problem is an open question in the field of formal language theory that ...
We prove that the N\'eron-Tate height of subvarieties are always rational numbers. We use the induct...
We prove that any N-rational sequence s = (s n ) n1 of nonnegative integers satisfying the Kraft str...
AbstractWe prove that any N-rational sequence s = (sn)n ⩾ 1 of nonnegative integers satisfying the K...
. We prove that any IN-rational sequence s = (sn)n1 of nonnegative integers satisfying the Kraft str...
AbstractWe prove a new result on N-rational series in one variable. This result gives, under an appr...
AbstractSoittola’s theorem characterizes R+- or N-rational formal power series in one variable among...
This work concerns rational series having nonnegative integral coefficients and is centered on two k...
We prove some results related to the generalized star-height problem. In this problem, as opposed to...
AbstractWe prove some results related to the generalized star-height problem. In this problem, as op...
AbstractRegular trees can be defined by two types of rational expressions. For these two types we so...
We introduce the notion of super-state automaton constructed from another automaton. This constructi...
We define a notion of height for rational points with respect to a vector bundle on a proper algebra...
By using the universal Diophantine representation of recursively enumerable sets of positive integer...
Given a family of recognizable languages L1, . . . ,Lm and recognizable languages K1 ⊆ K2, the relat...
The Generalised Star-Height Problem is an open question in the field of formal language theory that ...
We prove that the N\'eron-Tate height of subvarieties are always rational numbers. We use the induct...
We prove that any N-rational sequence s = (s n ) n1 of nonnegative integers satisfying the Kraft str...
AbstractWe prove that any N-rational sequence s = (sn)n ⩾ 1 of nonnegative integers satisfying the K...
. We prove that any IN-rational sequence s = (sn)n1 of nonnegative integers satisfying the Kraft str...
DOI
Add to ORKG