Linearizing well quasi-orders and bounding the length of bad sequences
We study the length functions of controlled bad sequences over some well quasi-orders (wqo's) and classify them in the Fast Growing Hierarchy. We develop a new and self-contained study of the length of bad sequences over the disjoint product in Nn (Dickson's Lemma), which leads to recently...
Guardado en:
| Autor principal: | Figueira, Santiago Daniel |
|---|---|
| Publicado: |
2015
|
| Materias: | |
| Acceso en línea: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03043975_v603_n_p3_Abriola http://hdl.handle.net/20.500.12110/paper_03043975_v603_n_p3_Abriola |
| Aporte de: |
Ejemplares similares
-
Linearizing well quasi-orders and bounding the length of bad sequences
por: Abriola, S., et al. -
Executive decree authority /
Publicado: (1998) -
Order-disorder transformations in alloys ; proceedings /
Publicado: (1974) -
The theory of order disorder transitions in alloys. /
por: Toshinosuke, Muto
Publicado: (1955) -
Relating higher-order and first-order rewriting
Publicado: (2005)