Two papers at ICALP'20

Two papers, On the power of ordering in linear arithmetic theories (with Dmitry Chistikov) and On the Size of Finite Rational Matrix Semigroups (with Georgina Bumpus, Stefan Kiefer, Paul-Ioan Stoienescu and Jonathan Tanner) will be presented at ICALP’20.