Autor/in Mottet, Antoine Pinsker, Michael 3 Bodirsky, Manuel 2 Quaas, Karin 2 Barto, Libor 1 Czerwiński, Wojciech 1 Demeo, William 1 Madelaine, Florent 1 Nagy, Tomáš 1 Olšák, Miroslav 1 Opršal, Jakub 1 Willard, Ross 1 Wrona, Michał 1 alle zeigenListe einklappen
The Containment Problem for Unambiguous Register Automata and Unambiguous Timed Automata Mottet, Antoine Quaas, Karin 2021 - TUHH Open Research
Constraint Satisfaction Problems over Finite Structures Barto, Libor Demeo, William Mottet, Antoine 2021 - TUHH Open Research
A proof of the algebraic tractability conjecture for monotone monadic SNP Bodirsky, Manuel Madelaine, Florent Mottet, Antoine 2021 - TUHH Open Research
ω-categorical structures avoiding height 1 identities Bodirsky, Manuel Mottet, Antoine Olšák, Miroslav Opršal, Jakub Pinsker, Michael Willard, Ross 2021 - TUHH Open Research
New techniques for universality in unambiguous register automata Czerwiński, Wojciech Mottet, Antoine Quaas, Karin 2021 - TUHH Open Research
Smooth approximations and relational width collapses Mottet, Antoine Nagy, Tomáš Pinsker, Michael Wrona, Michał 2021 - TUHH Open Research