Paper: Successor-Invariant First-Order Logic on Classes of Bounded Degree (at LICS 2020)
Winner of the Kleene Award in 2020
Authors: Julien Grange
Abstract
No Abstract Available
BibTeX
@InProceedings{Grange-SuccessorInvariantF, author = {Julien Grange}, title = {Successor-Invariant First-Order Logic on Classes of Bounded Degree}, booktitle = {Proceedings of the Thirty fifth Annual IEEE Symposium on Logic in Computer Science (LICS 2020)}, year = {2020}, month = {July}, pages = {479--491}, location = {Saarbrucken, Germany}, publisher = {IEEE Computer Society Press} }