First-order separation over countable ordinals.

Thomas Colcombet, Sam van Gool, Rmi Morvan

Browse the full FOSSACS paper archive.