​
Login / Signup
Jas Semrl
ORCID
Publication Activity (10 Years)
Years Active: 2017-2023
Publications (10 Years): 11
Top Topics
Formal Logic
Range Searching
Relation Algebra
Top Venues
CoRR
RAMiCS
BESC
LICS
</>
Publications
</>
Andrew Lewis-Smith
,
Jas Semrl
Implication Algebras and Implication Semigroups of Binary Relations.
RAMiCS
(2023)
Peter Jipsen
,
Jas Semrl
Representable and Diagonally Representable Weakening Relation Algebras.
RAMiCS
(2023)
Peter Jipsen
,
Jas Semrl
Representable and diagonally representable weakening relation algebras.
CoRR
(2023)
Robin Hirsch
,
Jas Semrl
Demonic Lattices and Semilattices in Relational Semigroups with Ordinary Composition.
CoRR
(2021)
Jas Semrl
Domain Range Semigroups and Finite Representations.
CoRR
(2021)
Jas Semrl
Domain Range Semigroups and Finite Representations.
RAMiCS
(2021)
Jas Semrl
Finite Representation Property for Relation Algebra Reducts.
CoRR
(2021)
Robin Hirsch
,
Jas Semrl
Demonic Lattices and Semilattices in Relational Semigroups with Ordinary Composition.
LICS
(2021)
Robin Hirsch
,
Jas Semrl
Finite Representability of Semigroups with Demonic Refinement.
CoRR
(2020)
Jas Semrl
,
Alexandru Matei
Churn prediction model for effective gym customer retention.
BESC
(2017)
Jas Semrl
,
Alexandru Matei
Churn prediction model for effective gym customer retention.
BESC
(2017)