Extensions of ω-Regular Languages

Mikolaj Bojanczyk, Edon Kelmendi, Rafal Stefanski, Georg Zetzsche. Extensions of ω-Regular Languages. In Holger Hermanns, Lijun Zhang 0001, Naoki Kobayashi 0001, Dale Miller 0001, editors, LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020. pages 266-272, ACM, 2020. [doi]

Authors

Mikolaj Bojanczyk

This author has not been identified. Look up 'Mikolaj Bojanczyk' in Google

Edon Kelmendi

This author has not been identified. Look up 'Edon Kelmendi' in Google

Rafal Stefanski

This author has not been identified. Look up 'Rafal Stefanski' in Google

Georg Zetzsche

This author has not been identified. Look up 'Georg Zetzsche' in Google