[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

"First-Order Model Checking on Structurally Sparse Graph Classes."

Jan Dreier, Nikolas Mählmann, Sebastian Siebertz (2023)

Details and statistics

DOI: 10.1145/3564246.3585186

access: closed

type: Conference or Workshop Paper

metadata version: 2024-05-07