Alexandre Vigny | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Pricing

Featured Co-authors

Dimitrios M. Thilikos
10 publications
Patrice Ossona de Mendez
6 publications
Sebastian Siebertz
6 publications
Giannos Stamoulis
3 publications
Nicole Schirrmacher
1 publication
Mario Grobler
1 publication

research

∙ 02/14/2023

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

Disjoint-paths logic, denoted 𝖥𝖮+𝖣𝖯, extends first-order logic (𝖥𝖮) with...

0 Nicole Schirrmacher, et al. ∙

research

∙ 05/08/2021

On set systems definable in sparse graph classes, discrepancy, and quantifier elimination

We study the (hereditary) discrepancy of definable set systems, which is...

0 Mario Grobler, et al. ∙

Success!

An error occurred