Mêton Mêton Atindehou

According to our database¹, Mêton Mêton Atindehou authored at least 3 papers between 2015 and 2018.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2018

Une structure de données pour représenter de grands ensembles de termes égaux: application à une méthode générale de simplification d'expressions.

[BibT_eX]

[DOI]

PhD thesis, 2018

2016

A Data Structure to Handle Large Sets of Equal Terms.

[BibT_eX]

[DOI]

Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, 2016

2015

A Method to Simplify Expressions: Intuition and Preliminary Experimental Results.

[BibT_eX]

[DOI]

Proceedings of the IWIL@LPAR 2015, 2015