Domain range semigroups and finite representations

DOI10.1007/978-3-030-88701-8_29OpenAlexW3210535855MaRDI QIDQ2695374

Jaš Šemrl

Publication date: 30 March 2023

Full work available at URL: https://arxiv.org/abs/2106.02709

zbMATH Keywords

demonic compositionfinite representation propertydomain-range semigroups

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (1)

Reducts of relation algebras: the aspects of axiomatisability and finite representability

Cites Work

• Unnamed Item
• Axiomatizability of representable domain algebras
• Relation algebras by games
• Finite representability of semigroups with demonic refinement
• Domain and range for angelic and demonic compositions
• Undecidability of representability for lattice-ordered semigroups and ordered complemented semigroups
• Axioms for signatures with domain and demonic composition
• Domain and Antidomain Semigroups
• Representations of ordered semigroups and lattices by binary relations

This page was built for publication: Domain range semigroups and finite representations