Linearizing Bad Sequences: Upper Bounds for the Product and Majoring Well Quasi-orders.
Sergio Abriola, Santiago Figueira, Gabriel Senno
Browse the full WoLLIC paper archive.
Sergio Abriola, Santiago Figueira, Gabriel Senno
Browse the full WoLLIC paper archive.