On *-λ-semirings

Information Sciences

Volumn 177, Issue 22, 2007, Pages 5012-5023

  Feng, Feng ^a   Jun, Young Bae ^b   Zhao, Xian Zhong ^c  

^a XI AN UNIVERSITY OF POSTS AND TELECOMMUNICATIONS   (China)

^b Gyeongsang National University   (South Korea)

^c NORTHWEST UNIVERSITY   (China)

Author keywords

* semiring; Formal power series; Preorder; Semiring

Indexed keywords

ALGEBRA; LINEAR PROGRAMMING;

FORMAL POWER SERIES; PREORDERS; STAR OPERATIONS;

INFORMATION SCIENCE;

EID: 34548240544     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ins.2007.05.019     Document Type: Article

References (14)

1. Bloom S.L., and Ésik Z. Iteration Theories (1993), Springer, Berlin
2. Bloom S.L., and Ésik Z. Matrix and matrical iteration theories, part I. J. Comput. Syst. Sci. 46 (1993) 381-408
3. Desharnais J., and Möller B. Characterizing determinacy in Kleene algebras. Inform. Sci. 139 (2001) 253-273
4. Ésik Z., and Kuich W. Inductive *-semirings. Theor. Comput. Sci. 324 (2004) 3-33
5. Ésik Z., and Leiß H. Algebraically complete semirings and Greibach normal form. Ann. Pure Appl. Logic 133 (2005) 173-203
6. Ésik Z., and Kuich W. Locally closed semirings. Monatsh. Math. 137 (2002) 21-29
7. Feng F., Zhao X.Z., and Jun Y.B. *-μ-semirings and *-λ-semirings. Theor. Comput. Sci. 347 (2005) 423-431
8. Glazek K. A Guide to the Literature on Semirings and their Applications in Mathematics and Information Sciences (2002), Kluwer, Dordrecht
9. Golan J.S. Semirings and Affine Equations over Them: Theory and Applications (2003), Kluwer, Dordrecht
10. Kozen D. On Kleene algebras and closed semirings. Proc. MFCS'90. Lecture Notes in Computer Science vol. 452 (1990), Springer, Berlin 26-47
11. Kuich W., and Salomaa A. Semirings, Automata and Languages (1986), Springer, Berlin
12. Leiß H. Kleene modules and linear languages. J. Logic Algeb. Program. 66 (2006) 185-194
13. Manes E.G., and Arbib M.A. Algebraic Approaches to Program Semantics (1986), Springer, Berlin
14. Tarski A. A lattice theoretical fixpoint theorem and its applications. Pacific J. Math. 5 (1955) 285-309