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.

- 1 Similar Profiles

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 2019

## Argumentation theory for mathematical argument

Corneli, J., Martin, U., Murray-Rust, D., Rino Nesin, G. & Pease, A. 4 Jan 2019Research output: Contribution to journal › Article

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.*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