Upper Bounds on the Quantifier Depth for Graph Differentiation in First-Order Logic

Sandra Kiefer, Pascal Schweitzer. Upper Bounds on the Quantifier Depth for Graph Differentiation in First-Order Logic. Logical Methods in Computer Science, 15(2), 2019. [doi]

Abstract

Abstract is missing.