Rob Egrot

Orcid: 0000-0003-1170-8998

According to our database¹, Rob Egrot authored at least 11 papers between 2013 and 2023.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2023

Amalgamating Poset Extensions and Generating Free Lattices.

[BibT_eX]

[DOI]

Rob Egrot

Order, April, 2023

2022

First-order Axiomatisations of Representable Relation Algebras Need Formulas of Unbounded Quantifier depth.

[BibT_eX]

[DOI]

Rob Egrot

Robin Hirsch

J. Symb. Log., 2022

Seurat games on Stockmeyer graphs.

[BibT_eX]

[DOI]

Rob Egrot

Robin Hirsch

J. Graph Theory, 2022

2021

Recursive Axiomatisations from separation Properties.

[BibT_eX]

[DOI]

Rob Egrot

J. Symb. Log., 2021

2020

Order polarities.

[BibT_eX]

[DOI]

Rob Egrot

J. Log. Comput., 2020

2019

Recursive axiomatizations for representable posets.

[BibT_eX]

[DOI]

Rob Egrot

Int. J. Algebra Comput., 2019

Recursive axiomatizations from separation properties.

[BibT_eX]

[DOI]

Rob Egrot

CoRR, 2019

2018

No finite axiomatizations for posets embeddable into distributive lattices.

[BibT_eX]

[DOI]

Rob Egrot

Ann. Pure Appl. Log., 2018

2016

Representable posets.

[BibT_eX]

[DOI]

Rob Egrot

J. Appl. Log., 2016

2015

Meet-completions and ordered domain algebras.

[BibT_eX]

[DOI]

Rob Egrot

Robin Hirsch

Log. J. IGPL, 2015

2013

Representations and completions for ordered algebraic structures.

[BibT_eX]

[DOI]

Rob Egrot

PhD thesis, 2013

Rob Egrot

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...