The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Currently displaying 1 – 4 of 4

Showing per page

Order by Relevance | Title | Year of publication

Well quasi-orders, unavoidable sets, and derivation systems

Flavio D'AlessandroStefano Varricchio — 2006

RAIRO - Theoretical Informatics and Applications

Let be a finite set of words and I * be the derivation relation generated by the set of productions {}. Let L I ϵ be the set of words such that ϵ I * u . We prove that the set is unavoidable if and only if the relation I * is a well quasi-order on the set L I ϵ . This result generalizes a theorem of [Ehrenfeucht (1983) 311–332]. Further generalizations are investigated.

Page 1

Download Results (CSV)