Paper: The Identity Problem in the special affine group of Z2 (at LICS 2023)
Winner of the Kleene Award in 2023
Authors: Ruiwen Dong
Abstract
No Abstract Available
BibTeX
@InProceedings{Dong-TheIdentityProblemi, author = {Ruiwen Dong}, title = {The Identity Problem in the special affine group of Z2}, booktitle = {Proceedings of the Thirty eighth Annual IEEE Symposium on Logic in Computer Science (LICS 2023)}, year = {2023}, month = {June}, pages = {1--13}, location = {Boston, USA}, publisher = {IEEE Computer Society Press} }