Publications
Filters: Author is Gabriel Senno [Clear All Filters]
, “Linearizing well-quasi orders and bounding the length of bad sequences”, Theoretical Computer Science, vol. 603, p. 3–22, 2015.
, “Linearizing bad sequences: upper bounds for the product and majoring well quasi-orders”, in 19th Workshop on Logic, Language, Information and Computation, 2012.
