by Mottet, Antoine, Quaas, Karin
Published in Theory of computing systems (01.05.2021)

by Manuel Bodirsky, Antoine Mottet
Published in Logical methods in computer science (22.05.2018)

by Bodirsky, Manuel, Mottet, Antoine
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)

by Barto, Libor, DeMeo, William, Mottet, Antoine
Published in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (29.06.2021)

by Barto, Libor, Bodor, Bertalan, Kozik, Marcin, Mottet, Antoine, Pinsker, Michael
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)

by Baader, Franz, Marantidis, Pavlos, Mottet, Antoine, Okhotin, Alexander
Published in Mathematical structures in computer science (01.06.2020)

by Baader, Franz, Marantidis, Pavlos, Mottet, Antoine, Okhotin, Alexander
Published in Mathematical structures in computer science (01.06.2020)

by Bodirsky, Manuel, Mottet, Antoine
Published in 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.07.2016)

by Bodirsky, Manuel, Dalmau, Victor, Martin, Barnaby, Mottet, Antoine, Pinsker, Michael
Published in Information and computation (01.04.2016)

by Bodirsky, Manuel, Mottet, Antoine, Olsak, Miroslav, Oprsal, Jakub, Pinsker, Michael, Willard, Ross
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)

by Barto, Libor, Mottet, Antoine
Year of Publication 13.07.2023

by Mottet, Antoine, Pinsker, Michael
Published in arXiv.org (10.01.2021)

by Mottet, Antoine, Pinsker, Michael
Year of Publication 08.11.2020

by Mottet, Antoine, Nagy, Tomáš, Pinsker, Michael
Year of Publication 30.01.2023

by Bodirsky, Manuel, Martin, Barnaby, Mottet, Antoine
Published in Automata, Languages, and Programming (2015)

by Barto, Libor, Mottet, Antoine
Published in arXiv.org (13.07.2023)

by Mottet, Antoine, Quaas, Karin
Year of Publication 28.05.2019

by Mottet, Antoine, Quaas, Karin
Year of Publication 24.09.2018

by Bodirsky, Manuel, Mottet, Antoine
Published in arXiv.org (20.05.2018)

by Barto, Libor, Bodor, Bertalan, Kozik, Marcin, Mottet, Antoine, Pinsker, Michael
Year of Publication 23.02.2023