V. Ironmonger

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Equivalence Relation

Database Systems

Top Venues

Publications

V. Ironmonger, Nik Ruskuc
Decidability of well quasi-order and atomicity for equivalence relations under embedding orderings. CoRR (2023)