Gabriela Rino Nesin

Gabriela Rino Nesin

Dr

20132019

Research activity per year

If you made any changes in Pure these will be visible here soon.
  • 3 Conference contribution with ISSN or ISBN
  • 1 Article

Search results

  • 2019

    Argumentation theory for mathematical argument

    Corneli, J., Martin, U., Murray-Rust, D., Rino Nesin, G. & Pease, A., 4 Jan 2019, In: Argumentation. 33, 2, p. 173-214 42 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    File
  • 2017

    Modelling the way mathematics is actually done

    University of Edinburgh, University of Oxford, University of Edinburgh, University of Dundee & Rino Nesin, G., 9 Sep 2017, Proceedings of the 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design. ACM, p. 10-19 10 p.

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBN › Conference contribution with ISSN or ISBN › peer-review

  • 2015

    Groups whose word problem is a Petri net language

    Rino Nesin, G. & Thomas, R. M., 16 Jun 2015, International Workshop on Descriptional Complexity of Formal Systems. Cham: Springer, Vol. 9118. p. 243-255 13 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBN › Conference contribution with ISSN or ISBN › peer-review

    Open Access
    File
  • 2013

    Groups with a recursively enumerable irreducible word problem

    Rino Nesin, G. & Thomas, R. M., 1 Jan 2013, International Symposium on Fundamentals of Computation Theory. Berlin, Heidelberg: Springer, Vol. 8070. p. 283-292 10 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBN › Conference contribution with ISSN or ISBN › peer-review

    Open Access
    File