| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 431249 | The Journal of Logic and Algebraic Programming | 2013 | 12 Pages |
Abstract
We consider rational power series over an alphabet Σ with coefficients in a ordered commutative semiring K and characterize them as the free ordered semialgebras in various classes defined by the least pre-fixed point rule and its dual. The results are generalizations of Kozen’s axiomatization of regular languages.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
