Composition with Algebra at the Background - On a Question by Gurevich and Rabinovich on the Monadic Theory of Linear Orderings.

Thomas Colcombet

Browse the full CSR paper archive.