The inverse semigroup of a sum-ordered semiring

DOI10.1007/BF02572645MaRDI QIDQ800396zbMATH OpenOpenAlexFDO

Authors N. E. Zubov

Publication date 1985

Published in Semigroup Forum (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/134742

zbMATH Keywords

partial functionsalgebraic theory of program transformationsum- ordered semirings

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Ordered rings, algebras, modules (06F25) Algebraic theory of languages and automata (68Q70) Semirings (16Y60) Semigroups in automata theory, linguistics, etc. (20M35)

Recommendations

• scientific article; zbMATH DE number 1543345
• Ordered semirings and rings
• Matrix representable so-rings
• scientific article; zbMATH DE number 49278
• scientific article; zbMATH DE number 1358710

Cites work

• scientific article; zbMATH DE number 3882679 (Why is no real title available?)
• scientific article; zbMATH DE number 3967883 (Why is no real title available?)
• scientific article; zbMATH DE number 3726625 (Why is no real title available?)
• scientific article; zbMATH DE number 3497806 (Why is no real title available?)
• scientific article; zbMATH DE number 3550181 (Why is no real title available?)
• scientific article; zbMATH DE number 3552814 (Why is no real title available?)
• scientific article; zbMATH DE number 3062900 (Why is no real title available?)
• A class of fuzzy theories
• Amenably ordered inverse semigroups
• Can programming be liberated from the von Neumann style?
• Partially additive categories and flow-diagram semantics
• The Pattern-of-Calls Expansion Is the Canonical Fixpoint for Recursive Definitions

Cited in

(28)

• scientific article; zbMATH DE number 4008607 (Why is no real title available?)
• Tensor product of partially-additive monoids
• scientific article; zbMATH DE number 5218141 (Why is no real title available?)
• Matrix representable so-rings
• Semantic models for total correctness and fairness
• Inverse Monoids With a Natural Semilattice Ordering
• Program correctness and matricial iteration theories
• Semantic models for total correctness and fairness
• Transitive Separation Logic
• Modal algebra and Petri nets
• scientific article; zbMATH DE number 3929239 (Why is no real title available?)
• An algebra of database preferences
• Extended transitive separation logic
• Exploring modal worlds
• An extension of a Y. C. Yang theorem
• An algebraic calculus of database preferences
• 2-absorbing primary subsemimodules over partial semirings
• Circulations, Fuzzy Relations and Semirings
• Generalized semigroup semirings which are zero-divisor-free or multiplicatively left-cancellative
• Join inverse categories as models of reversible recursion
• scientific article; zbMATH DE number 5214 (Why is no real title available?)
• Dedekind complete posets from sheaves on von Neumann algebras
• Monoids with tests and the algebra of possibly non-halting programs
• An algebra of hybrid systems
• Join inverse categories and reversible recursion
• Bisimulation of automata
• Towards a geometry of recursion
• A categorical analogue of the monoid semiring construction

This page was built for publication: The inverse semigroup of a sum-ordered semiring

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q800396)