Gabriela Asli Rino Nesin
According to our database1, Gabriela Asli Rino Nesin authored at least 4 papers between 2013 and 2017.
Legend:Book In proceedings Article PhD thesis Other
Modelling the way mathematics is actually done.
Proceedings of the 5th ACM SIGPLAN International Workshop on Functional Art, 2017
Descriptions of groups using formal language theory.
PhD thesis, 2016
Groups Whose Word Problem is a Petri Net Language.
Proceedings of the Descriptional Complexity of Formal Systems, 2015
Groups with a Recursively Enumerable Irreducible Word Problem.
Proceedings of the Fundamentals of Computation Theory - 19th International Symposium, 2013