Invited Paper: When Reachability Meets Grzegorczyk (at LICS 2020)
Authors: Jérôme Leroux
Abstract
No Abstract Available
BibTeX
@InProceedings{Leroux-WhenReachabilityMee, author = {Jérôme Leroux}, title = {When Reachability Meets Grzegorczyk}, booktitle = {Proceedings of the Thirty fifth Annual IEEE Symposium on Logic in Computer Science (LICS 2020)}, year = {2020}, month = {July}, pages = {1--6}, location = {Saarbrucken, Germany}, note = {Invited Talk}, publisher = {IEEE Computer Society Press} }