Rob Egrot

12 papers Journal 11
YearRankTypeTitle / Venue / Authors
2023 J jnl
Amalgamating Poset Extensions and Generating Free Lattices.
Order
Rob Egrot
2022 J jnl
First-order Axiomatisations of Representable Relation Algebras Need Formulas of Unbounded Quantifier depth.
J. Symb. Log.
Rob Egrot, Robin Hirsch
2022 J jnl
Seurat games on Stockmeyer graphs.
J. Graph Theory
Rob Egrot, Robin Hirsch
2021 J jnl
Recursive Axiomatisations from separation Properties.
J. Symb. Log.
Rob Egrot
2020 J jnl
Order polarities.
J. Log. Comput.
Rob Egrot
2019 J jnl
Order polarities.
CoRR
Rob Egrot
2019 J jnl
Recursive axiomatizations for representable posets.
Int. J. Algebra Comput.
Rob Egrot
2019 J jnl
Recursive axiomatizations from separation properties.
CoRR
Rob Egrot
2018 J jnl
No finite axiomatizations for posets embeddable into distributive lattices.
Ann. Pure Appl. Log.
Rob Egrot
2016 J jnl
Representable posets.
J. Appl. Log.
Rob Egrot
2015 J jnl
Meet-completions and ordered domain algebras.
Log. J. IGPL
Rob Egrot, Robin Hirsch
2013 — —
Representations and completions for ordered algebraic structures.
Rob Egrot