On Semilinear Sets over Commutative Semirings

  • Authors:
  • Manfred Kudlek

  • Affiliations:
  • Fachbereich Informatik, Universität Hamburg Vogt-Kölln-Str. 30, D-22527 Hamburg, Germany. E-mail: kudlek@informatik.uni-hamburg.de

  • Venue:
  • Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

The concept of semilinear sets is generalized to commutative semirings. It is shown that the semilinear sets over commutative semirings are exactly the algebraic/rational sets over such structures.