Nathan Grosshans
Author
Alternate name Nathan Grosshans
Institution University of Kassel
Past institutions University of Kassel, Centre National de la Recherche Scientifique, Université Paris Sciences et Lettres, École Normale Supérieure - PSL, Laboratoire Spécification et Vérification +3 more
ORCID: Yes
H-index: 2
I10-index:
Works count: 14
Citations count: 15
The Power of Programs over Monoids in DA
2017 · Nathan Grosshans, Pierre McKenzie, et al. · HAL (Le Centre pour la Communication Scientifique Directe)
The limits of Nečiporuk's method and the power of programs over monoids taken from small varieties of finite monoids
2018 · Nathan Grosshans · HAL (Le Centre pour la Communication Scientifique Directe)
The Power of Programs over Monoids in J
2020 · Nathan Grosshans · Lecture notes in computer science