Research Output per year

## Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

Word problem
Mathematics

Petri Nets
Mathematics

Reasoning
Mathematics

Semantics
Engineering & Materials Science

Finitely Generated Group
Mathematics

Modeling
Mathematics

Semantic Network
Mathematics

Argumentation
Mathematics

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

## Research Output 2013 2018

## Argumentation theory for mathematical argument

University of Edinburgh, University of Oxford, University of Edinburgh, Rino Nesin, G. & University of Dundee 6 Dec 2018 (Accepted/In press)Research output: Contribution to journal › Article

## 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.*p. 10-19 10 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution with ISSN or ISBN

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, Vol. 9118, p. 243-255 13 p. (Lecture Notes in Computer Science)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution with ISSN or ISBN

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, Vol. 8070, p. 283-292 10 p. (Lecture Notes in Computer Science)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution with ISSN or ISBN

Open Access

File

Word problem

Generating Set

Finite Set

Finitely Generated Group

Group Theory