2 search results - page 1 / 1 » Logic and Bounded-Width Rational Languages of Posets over Co... |
88
Voted
LFCS
2009
Springer
15 years 4 months ago
2009
Springer
In this paper we consider languages of labelled N-free posets over countable and scattered linear orderings. We prove that a language of such posets is series-rational if and only ...
CSR
2008
Springer
14 years 11 months ago
2008
Springer
We prove that every rational language of words indexed by linear orderings is definable in monadic second-order logic. We also show that the converse is true for the class of langu...