Eleftheriadis, Ioannis

Recent Publications

First-Order Model Checking on Monadically Stable Graph Classes

2024