Reasoning About Transfinite Sequences.

Stphane Demri, David Nowak

Browse the full ATVA paper archive.