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

New York, NY / ACM Press (2016) [Contribution to a book, Contribution to a conference proceedings]

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): 287-296


Selected Authors

Kiefer, Sandra
Schweitzer, Pascal