Home » News » seminar » Giannos Stamoulis gave a talk on the model checking for first-order logic extended with disjoint paths predicates in H-minor-free graphs at the Discrete Math Seminar

Giannos Stamoulis gave a talk on the model checking for first-order logic extended with disjoint paths predicates in H-minor-free graphs at the Discrete Math Seminar