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

Kiefer, Sandra; Schweitzer, Pascal (Corresponding author)

New York, NY : ACM Press (2016)
Contribution to a book, Contribution to a conference proceedings

In: Proceedings of the 31st Annual ACMIEEE Symposium on Logic in Computer Science / Grohe, MartinProceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science (LICS 2016) : July 5-8, 2016 New York City, USA / LICS General Chair: Martin Grohe; LICS Conference Chair: Eric Koskinen; LICS Program Chair: Natarajan Shankar
Page(s)/Article-Nr.: 287-296