21-24 nov. 2023 Villeurbanne (France)
Elementary first-order model checking for sparse graphs
Jakub Gajarský  1, @  , Marek Sokołowski  1, @  , Michał Pilipczuk  1, @  , Giannos Stamoulis  1, @  , Szymon Toruńczyk  1, @  
1 : University of Warsaw
Type : : Résumé
Thématiques : Algorithmique
PDF version :  PDF version
  • Autre
Chargement... Chargement...