List of works - Sebastian Siebertz - Paulina

List of works by Sebastian Siebertz

First-order Logic with Connectivity Operators

scientific article published on 08 May 2023

Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes

scientific article published on 21 June 2024

Paulina is supported by:

About Paulina

Help