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}
}
