Finite representability of semigroups with demonic refinement
From MaRDI portal
Publication:829757
DOI10.1007/S00012-021-00718-5OpenAlexW3084978857MaRDI QIDQ829757FDOQ829757
Authors: Jaš Šemrl, Robin Hirsch 
Publication date: 6 May 2021
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2009.06970
Recommendations
- Demonic lattices and semilattices in relational semigroups with ordinary composition
- Axioms for signatures with domain and demonic composition
- The algebra of non-deterministic programs: demonic operations, orders and axioms
- A RELATIONAL MODEL OF DEMONIC NONDETERMINISTIC PROGRAMS
- Embedding a demonic semilattice in a relation algebra
Cites Work
- Relational heuristics for the design of deterministic programs
- Relational algebraic semantics of deterministic and nondeterministic programs
- Title not available (Why is that?)
- Towards a refinement algebra
- Relation algebras by games
- Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types
- On the Structure of Demonic Refinement Algebras with Enabledness and Termination
- Demonic Algebra with Domain
- Ordered domain algebras
- Undecidability of representability for lattice-ordered semigroups and ordered complemented semigroups
- Title not available (Why is that?)
- Title not available (Why is that?)
- Undecidability of representability as binary relations
Cited In (6)
- Finite Representability of Semigroups with Demonic Refinement
- Abstract representation theorems for demonic refinement algebras
- Reducts of relation algebras: the aspects of axiomatisability and finite representability
- Domain range semigroups and finite representations
- Demonic lattices and semilattices in relational semigroups with ordinary composition
- Decidability of the representation extension property for finite semigroups
This page was built for publication: Finite representability of semigroups with demonic refinement
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q829757)
