@PhdThesis{       schmitz:tel-01663266,
  Author        = "Schmitz, Sylvain",
  date-added    = "2019-01-29 15:37:23 +0100",
  date-modified = "2019-01-29 15:37:23 +0100",
  hal_id        = "tel-01663266",
  hal_version   = "v1",
  Keywords      = "infinite-state system ; Well-quasi-order ; fast-growing complexity ; vector addition system ; Petri net ; syst{\`e}me infini ; complexit{\'e} {\`a} croissance rapide ; syst{\`e}me d'addition de vecteurs ; r{\'e}seau de Petri ; Beaux pr{\'e}-ordres ; v{\'e}rification",
  Month         = "November",
  PDF           = "https://tel.archives-ouvertes.fr/tel-01663266/file/hdr.pdf",
  School        = "{{\'E}cole normale sup{\'e}rieure Paris-Saclay}",
  Title         = "{Algorithmic Complexity of Well-Quasi-Orders}",
  Type          = "Habilitation {\`a} diriger des recherches",
  URL           = "https://tel.archives-ouvertes.fr/tel-01663266",
  Year          = "2017",
  bdsk-url-1    = "https://tel.archives-ouvertes.fr/tel-01663266",
  File          = "hdr (0) - a - a - q.pdf"
}

@PhdThesis{ schmitz:tel-01663266, Author = "Schmitz, Sylvain", date-added = "2019-01-29 15:37:23 +0100", date-modified = "2019-01-29 15:37:23 +0100", hal_id = "tel-01663266", hal_version = "v1", Keywords = "infinite-state system ; Well-quasi-order ; fast-growing complexity ; vector addition system ; Petri net ; syst{`e}me infini ; complexit{\'e} {`a} croissance rapide ; syst{`e}me d'addition de vecteurs ; r{\'e}seau de Petri ; Beaux pr{\'e}-ordres ; v{\'e}rification", Month = "November", PDF = "https://tel.archives-ouvertes.fr/tel-01663266/file/hdr.pdf", School = "{{\'E}cole normale sup{\'e}rieure Paris-Saclay}", Title = "{Algorithmic Complexity of Well-Quasi-Orders}", Type = "Habilitation {`a} diriger des recherches", URL = "https://tel.archives-ouvertes.fr/tel-01663266", Year = "2017", bdsk-url-1 = "https://tel.archives-ouvertes.fr/tel-01663266", File = "hdr (0) - a - a - q.pdf" }