The inverse semigroup of a sum-ordered semiring
From MaRDI portal
Publication:800396
DOI10.1007/BF02572645zbMATH Open0549.06014OpenAlexW1968129403MaRDI QIDQ800396FDOQ800396
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
Recommendations
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)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A class of fuzzy theories
- The Pattern-of-Calls Expansion Is the Canonical Fixpoint for Recursive Definitions
- Can programming be liberated from the von Neumann style?
- Partially additive categories and flow-diagram semantics
- Amenably ordered inverse semigroups
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (28)
- Towards a geometry of recursion
- Exploring modal worlds
- Join inverse categories as models of reversible recursion
- An algebra of hybrid systems
- Bisimulation of automata
- An algebra of database preferences
- Extended transitive separation logic
- Title not available (Why is that?)
- An algebraic calculus of database preferences
- Circulations, Fuzzy Relations and Semirings
- Title not available (Why is that?)
- An extension of a Y. C. Yang theorem
- Monoids with tests and the algebra of possibly non-halting programs
- 2-Absorbing Primary Subsemimodules Over Partial Semirings
- A categorical analogue of the monoid semiring construction
- Tensor product of partially-additive monoids
- Inverse Monoids With a Natural Semilattice Ordering
- Modal algebra and Petri nets
- Generalized semigroup semirings which are zero-divisor-free or multiplicatively left-cancellative
- Title not available (Why is that?)
- Matrix representable so-rings
- Semantic models for total correctness and fairness
- Semantic models for total correctness and fairness
- Join inverse categories and reversible recursion
- Transitive Separation Logic
- Dedekind complete posets from sheaves on von Neumann algebras
- Program correctness and matricial iteration theories
- Title not available (Why is that?)
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)
