Locally closed semirings

Monatshefte fur Mathematik

Volumn 137, Issue 1, 2002, Pages 21-29

  Esik Z ^a   Kuich, W ^b  

^a UNIVERSITY OF SZEGED   (Hungary)

^b VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

Closed semiring; Conway semiring; Iteration semiring; Semiring

Indexed keywords

EID: 0036741841     PISSN: 00269255     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00605-001-0481-9     Document Type: Article

References (14)

1. Bloom SL, Ésik Z (1993) Iteration Theories. Berlin Heidelberg New York: Springer
2. Bloom SL, Ésik Z (1997) The equational logic of fixed points. Theoretical Computer Science 179: 1-60
3. Carré B (1979) Graphs and Networks. Oxford: Clarendon Press
4. Conway J (1971) Regular Algebra and Finite Machines. London: Chapman & Hall
5. Eilenberg S (1974) Automata, Languages and Machines, vol A. New York: Academic Press
6. Ésik Z (1999) Group axioms for iteration. Information and Computation 148: 131-180
7. Ésik Z, Kuich W (2002) Inductive *-semirings. Theoretical Computer Science (to appear)
8. Golan JS (1999) Semirings and Their Applications. Dordrecht: Kluwer
9. Krob D (1991) Complete systems of B-rational identities. Theoretical Computer Science 89: 207-343
10. Kuich W (1987) The Kleene and the Parikh theorem in complete semirings. In: Proc ICALP 87, Lect Notes in Comput Sci 267: 212-225. Berlin Heidelberg New York: Springer
11. Kuich W (1997) Semirings and formal power series. In: Rosenzweig G, Salomaa A (eds) Handbook of Formal Languages, vol 1, pp 609-677. Berlin Heidelberg New York: Springer
12. Kuich W, Salomaa A (1986) Semirings, Automata, Languages. Berlin Heidelberg New York: Springer
13. Mohri M (1998) General algebraic frameworks for short-distance problems. Technical Report, AT&T Labs-Research
14. Sakarovitch J (1987) Kleene's theorem revisited. Lect Notes in Comput Sci 281: 39-50. Berlin Heidelberg New York: Springer