Model-Checking on Ordered Structures
Patrice Ossona de Mendez
(1)
,
Kord Eickmeyer
,
Jan van Den Heuvel
,
Ken-Ichi Kawarabayashi
(2)
,
Stephan Kreutzer
(3)
,
Patrice Ossona De Mendez
,
Michał Pilipczuk
(4)
,
Daniel Quiroz
(5)
,
Roman Rabinovich
(3)
,
Sebastian Siebertz
(6)
1
CAMS -
Centre d'Analyse et de Mathématique sociales
2 NII - National Institute of Informatics
3 TU - Technical University of Berlin / Technische Universität Berlin
4 MIMUW - Faculty of Mathematics, Informatics, and Mechanics [Warsaw]
5 Dirección nacional del patrimonio (Chile), Subdirección de investigación
6 Universität Bremen
2 NII - National Institute of Informatics
3 TU - Technical University of Berlin / Technische Universität Berlin
4 MIMUW - Faculty of Mathematics, Informatics, and Mechanics [Warsaw]
5 Dirección nacional del patrimonio (Chile), Subdirección de investigación
6 Universität Bremen
Patrice Ossona de Mendez
- Function : Author
- PersonId : 1503
- IdHAL : pom
- ORCID : 0000-0003-0724-3729
- IdRef : 160167906
Kord Eickmeyer
- Function : Author
Jan van Den Heuvel
- Function : Author
Patrice Ossona De Mendez
- Function : Author
Michał Pilipczuk
- Function : Author
- PersonId : 779066
- ORCID : 0000-0001-7891-1988
- IdRef : 238380246