Uniformisations of Regular Relations Over Bi-Infinite Words

Grzegorz Fabianski, Michal Skrzypczak, Szymon Torunczyk. Uniformisations of Regular Relations Over Bi-Infinite Words. 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 384-396, ACM, 2020. [doi]

Authors

Grzegorz Fabianski

This author has not been identified. Look up 'Grzegorz Fabianski' in Google

Michal Skrzypczak

This author has not been identified. Look up 'Michal Skrzypczak' in Google

Szymon Torunczyk

This author has not been identified. Look up 'Szymon Torunczyk' in Google