Open AccessModel Checking on Interpretations of Classes of Bounded Local Cliquewidth
Author(s) -
Édouard Bonnet,
Jan Dreier,
Jakub Gajarský,
Stephan Kreutzer,
Nikolas Mählmann,
Pierre Simon,
Szymon Toruńczyk
Publication year - 2022
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
DOI - 10.1145/3531130.3533367
Subject(s) - graph , bounded function , complement (music) , computer science , interpretation (philosophy) , expressive power , theoretical computer science , relation (database) , graph property , mathematics , discrete mathematics , voltage graph , line graph , programming language , data mining , biochemistry , chemistry , complementation , gene , phenotype , mathematical analysis
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom