Skip to main content
SpringerLink
Log in

The inverse semigroup of a sum-ordered semiring

  • Research Article
  • Published:
Semigroup Forum Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. M. A. Arbib and E. G. Manes, Partially-additive categories and flow-diagram semantics, Journal of Algebra62, 1980, 203–227.

    Article  MATH  MathSciNet  Google Scholar 

  2. M. A. Arbib and E. G. Manes, The pattern-of-calls expansion is the canonical fixpoint for recursive definitions, Journal of the Association for Computing Machinery29, 1982, 557–602.

    Google Scholar 

  3. J. W. Backus, Can programming be liberated from the von Neumann style? A functional style and its algebra of programs, Communications of the Association for Computing Machinery21, 1978, 613–641.

    MATH  MathSciNet  Google Scholar 

  4. D. B. Benson, Counting paths: nondeterminism as linear algebra, to appear in IEEE Trans. Soft Eng., Nov. 1984.

  5. G. Birkhoff, Lattice Theory, American Mathematical Society Colloquium Publications25, revised edition, American Mathematical Society, New York, 1967.

    MATH  Google Scholar 

  6. N. Bourbaki, General Topology, Part 1, Addison-Wesley, 1966.

  7. S. Eilenberg, Automata, Languages and Machines, Academic Press, 1974.

  8. D. Higgs, Axiomatic infinite sums—an algebraic approach to integration theory, Contemporary Mathematics2, 1980, 205–212.

    MathSciNet  Google Scholar 

  9. J. M. Howie, An Introduction to Semigroup Theory, Academic Press, 1976.

  10. B. Mahr, Semirings and transitive closure, Bericht Nr. 82-5, Fachbereich 20, Technical University of Berlin, 1982, 84pp.

  11. E. G. Manes, A class of fuzzy theories, Journal of Mathematical Analysis and its Applications85, 1982, 409–451.

    Article  MATH  MathSciNet  Google Scholar 

  12. E. G. Manes and M. A. Arbib, Algebraic Approaches to Program Semantics, Springer-Verlag, to appear.

  13. Z. Manna, Mathematical Theory of Computation, McGraw-Hill, 1974.

  14. D. B. McAlister, Amenably ordered inverse semigroups, Journal of Algebra65, 1980, 118–146.

    Article  MATH  MathSciNet  Google Scholar 

  15. D. S. Scott, The lattice of flow diagrams, in Symposium on Semantics of Algorithmic Languages, Lecture Notes in Mathematics188, E.Engeler (Ed.), Springer-Verlag, 1971, 311–366.

  16. U. M. Swamy and G. S. Murti, Boolean centre of a semigroup, Pure and Applied Mathematika Sciences13, 1981, No. 1-2, 5–6.

    MATH  MathSciNet  Google Scholar 

  17. A. Tarski, Cardinal Algebras, Oxford University Press New York, 1949.

    MATH  Google Scholar 

Download references

Author information

Author notes

  1. E. G. Manes

    Present address: Department of Mathematics and Statistics, University of Massachusetts, 01003, Amherst, MA, USA

  2. D. B. Benson

    Present address: Computer Science Department, Washington State University, 99164-1210, Pullman, WA, USA

Authors and Affiliations

    Authors
    1. E. G. Manes
      View author publications

      You can also search for this author in PubMed Google Scholar

    2. D. B. Benson
      View author publications

      You can also search for this author in PubMed Google Scholar

    Additional information

    Communicated by G. Lallement

    Research partially supported by National Science Foundation grants MCS-8205168 and MCS-8003433.

    Rights and permissions

    Reprints and permissions

    About this article

    Cite this article

    Manes, E.G., Benson, D.B. The inverse semigroup of a sum-ordered semiring. Semigroup Forum 31, 129–152 (1985). https://doi.org/10.1007/BF02572645

    Download citation

    • Received:

    • Revised:

    • Issue Date:

    • DOI: https://doi.org/10.1007/BF02572645

    Keywords

    Search

    Navigation