文章基本信息

标题：Rationally Additive Semirings
本地全文：下载
作者：Z. Ésik, W. Kuich
期刊名称：Journal of Universal Computer Science
印刷版ISSN：0948-6968
出版年度：2002
卷号：8
期号：2
DOI：10.3217/jucs-008-02-0173
出版社：Graz University of Technology and Know-Center
摘要：We define rationally additive semirings that are a generalization of (ω)-complete and (ω)-continuous semirings. We prove that every rationally additive semiring is an iteration semiring. Moreover, we characterize the semirings of rational power series with coefficients in , the semiring of natural numbers equipped with a top element, as the free rationally additive semirings
关键词：complete semiring, fixed point, iteration semiring, power series, semiring