If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Gabriela Rino Nesin is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Word problem Mathematics
Petri Nets Mathematics
Reasoning Mathematics
Finitely Generated Group Mathematics
Modeling Mathematics
Semantic Network Mathematics
Argumentation Mathematics
Generating Set Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2013 2019

  • 3 Conference contribution with ISSN or ISBN
  • 1 Article

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 journalArticleResearchpeer-review

Open Access
File
Argumentation Theory
Discourse
Computational
Salient
Inference

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 ISBNConference contribution with ISSN or ISBNResearchpeer-review

Reasoning
Semantics
Modeling
Semantic Network
Argumentation

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 ISBNConference contribution with ISSN or ISBNResearchpeer-review

Open Access
File
Word problem
Petri Nets
Finitely Generated Group
Formal Languages
Algebraic Structure

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 ISBNConference contribution with ISSN or ISBNResearchpeer-review

Open Access
File
Word problem
Generating Set
Finite Set
Finitely Generated Group
Group Theory