*-μ-Semirings and *-λ-semirings

Theoretical Computer Science

Volumn 347, Issue 1-2, 2005, Pages 423-431

  Feng, Feng ^a   Zhao, Xianzhong ^a   Jun, Young Bae ^b  

^a NORTHWEST UNIVERSITY   (China)

^b Gyeongsang National University   (South Korea)

Author keywords

* semiring; * semiring; * semiring; Formal power series; Inductive * semiring; Ordered semiring; Semiring

Indexed keywords

NUMBER THEORY; PROBLEM SOLVING;

ORDERED SEMIRING; SEMIRING;

COMPUTER SCIENCE;

EID: 27844568525     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2005.08.010     Document Type: Article

References (8)

1. S. Abian, and A.B. Brown A theorem on partially ordered sets with applications to fixed point theorems Canad. J. Math. 13 1961 78 83
2. S.L. Bloom, and Z. Ésik Matrix and matrical iteration theories, part I J. Comput. System Sci. 46 1993 381 408
3. S.L. Bloom, and Z. Ésik Iteration Theories: the Equational Logic of Iterative Processes, EATCS Monographs on Theoretical Computer Science 1993 Springer Berlin
4. Z. Ésik, and W. Kuich Inductive * -semirings Theoret. Comput. Sci. 324 2004 3 33
5. J.S. Golan Semirings and Their Applications 1999 Kluwer Dordrecht
6. W. Kuich, and A. Salomaa Semirings, Automata and Languages 1986 Springer Berlin, Heidelberg, New York
7. G. Markowsky Chain-complete posets and directed sets with applications Algebra Universalis 6 1976 53 68
8. L. Santocanale Free μ -lattices J. Pure Appl. Algebra 168 2002 227 264