Logical Definability on Infinite Traces.

Werner Ebinger, Anca Muscholl

Browse the full ICALP paper archive.