Jas Semrl

According to our database, Jas Semrl authored at least 7 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Implication Algebras and Implication Semigroups of Binary Relations.

Andrew Lewis-Smith, Jas Semrl

Proceedings of the Relational and Algebraic Methods in Computer Science, 2023

Representable and Diagonally Representable Weakening Relation Algebras.

Peter Jipsen, Jas Semrl

Proceedings of the Relational and Algebraic Methods in Computer Science, 2023

2021

Finite Representation Property for Relation Algebra Reducts.

Jas Semrl

CoRR, 2021

Demonic Lattices and Semilattices in Relational Semigroups with Ordinary Composition.

Robin Hirsch, Jas Semrl

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Domain Range Semigroups and Finite Representations.

Jas Semrl

Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

2020

Finite Representability of Semigroups with Demonic Refinement.

Robin Hirsch, Jas Semrl

CoRR, 2020

2017

Churn prediction model for effective gym customer retention.

Jas Semrl, Alexandru Matei

Proceedings of the 2017 International Conference on Behavioral, 2017