|
 
|
Gladys Gbedo
Publications
2010
- [CGP10] P. Courtieu, G. Gbedo, O. Pons. "Improved Matrix Interpretation", SOFSEM'10, Int. Conf. on Current Trends in Theory and Practice of Computer Science, , January 2010, Vol. 5901, pp.12, Series LNCS, Spindleruv Ml{\'y}n, Czech Republic,
Conférence Internationale avec comité de lecture
2009
-
[CGP09a]
P. Courtieu, G. Gbedo, O. Pons.
"Matrix interpretations revisited",
Extended Abstracts of the 10th International Workshop on Termination, WST'09, Leipzig, Germany, Ju,
January 2009,
pp.4,
