RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

Well quasi-orders, unavoidable sets, and derivation systems

Flavio D'Alessandro and Stefano Varricchio

RAIRO-Theor. Inf. Appl., 40 3 (2006) 407-426

Published online: 18 October 2006

DOI: 10.1051/ita:2006019

Flavio D'Alessandro

Stefano Varricchio

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)