Publications

Export 2 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Gabriel Senno  [Clear All Filters]
2015
S. Abriola, S. Figueira, and G. Senno, “Linearizing well-quasi orders and bounding the length of bad sequences”, Theoretical Computer Science, vol. 603, p. 3–22, 2015.
2012
S. Abriola, S. Figueira, and G. Senno, “Linearizing bad sequences: upper bounds for the product and majoring well quasi-orders”, in 19th Workshop on Logic, Language, Information and Computation, 2012.