Work

First-Order Model Checking on Monadically Stable Graph Classes

Year: 2024

Type: conference-paper

Source: Annual Symposium on Foundations of Computer Science

DOI: 10.1109/focs61266.2024.00012

Authors: Jan Dreier, Ioannis Eleftheriadis, Nikolas Mählmann, Rose McCarty, Michał Pilipczuk, Szymon Toruńczyk

Institutions: TU Wien, University of Cambridge, University of Bremen, Georgia Institute of Technology, University of Warsaw

Language: English

Topic: Advanced Graph Theory Research

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: National Science Foundation, Agence Nationale de la Recherche, Cambridge Trust, European Research Council

Awards: Efficiency and Structure in Graph Mining Applications, PostDoctoral Research Fellowship

OpenAlex ID: W4404849645

FWCI: 5.278

Cites: 30

Cited by: 8

Related to: 10