Upper Bounds on the Quantifier Depth for Graph Differentiation in First-Order Logic - きゃ's scrap box

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

2016

https://arxiv.org/abs/1605.03480

graph logic first-order logic quantum