Note--semirings and --semirings
Under an Elsevier user license
open archive
Keywords
Semiring
-semiring
Ordered semiring
Inductive -semiring
--semiring
--semiring
Formal power series
Cited by (0)
- 1
Corresponding author is supported by a Grant of NSF, China #10471112 and a grant of Shaanxi Provincial Natural Science Foundation #2003A10.
Copyright © 2005 Elsevier B.V. All rights reserved.