Giannos Stamoulis, Model-Checking for First-Order Logic with Disjoint Paths Predicates in Proper Minor-Closed Graph Classes
Room B332 IBS (기초과학연구원)The disjoint paths logic, FOL+DP, is an extension of First Order Logic (FOL) with the extra atomic predicate