Paper: Descriptive complexity for minimal time of cellular automata (at LICS 2019)
Authors: Etienne Grandjean Théo Grente
Abstract
No Abstract Available
BibTeX
@InProceedings{GrandjeanGrente-Descriptivecomplexi, author = {Etienne Grandjean and Théo Grente}, title = {Descriptive complexity for minimal time of cellular automata}, booktitle = {Proceedings of the Thirty fourth Annual IEEE Symposium on Logic in Computer Science (LICS 2019)}, year = {2019}, month = {June}, pages = {1--13}, location = {Vancouver}, publisher = {IEEE Computer Society Press} }