We stand with Ukraine  

Gabriela Asli Rino Nesin

Affiliations:
  • University of Brighton, UK
  • University of Leicester, UK (former)


According to our database1, Gabriela Asli Rino Nesin authored at least 5 papers between 2013 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2018
Argumentation theory for mathematical argument.
[BibTeX]
[DOI]
Joseph Corneli
,
Ursula Martin
,
Dave Murray-Rust
,
Gabriela Rino Nesin
,
Alison Pease
CoRR, 2018

2017
Modelling the way mathematics is actually done.
[BibTeX]
[DOI]
Joseph Corneli
,
Ursula Martin
,
Dave Murray-Rust
,
Alison Pease
,
Raymond Puzio
,
Gabriela Rino Nesin
Proceedings of the 5th ACM SIGPLAN International Workshop on Functional Art, 2017

2016
Descriptions of groups using formal language theory.
[BibTeX]
[DOI]
Gabriela Asli Rino Nesin
PhD thesis, 2016

2015
Groups Whose Word Problem is a Petri Net Language.
[BibTeX]
[DOI]
Gabriela Asli Rino Nesin
,
Richard M. Thomas
Proceedings of the Descriptional Complexity of Formal Systems, 2015

2013
Groups with a Recursively Enumerable Irreducible Word Problem.
[BibTeX]
[DOI]
Gabriela Asli Rino Nesin
,
Richard M. Thomas
Proceedings of the Fundamentals of Computation Theory - 19th International Symposium, 2013


  Loading...