A Logical Characterization of Timed Pushdown Languages.

Manfred Droste, Vitaly Perevoshchikov

Browse the full CSR paper archive.