@PhdThesis{       Halfon:PhD:2018,
  Author        = "Halfon, Simon",
  date-added    = "2020-04-13 09:52:52 +0200",
  date-modified = "2020-08-13 12:01:41 +0200",
  hal_id        = "tel-01945232",
  hal_version   = "v1",
  Keywords      = "Wqo ; Bqo ; Verification ; Logic ; Constraint solving ; Subword ordering ; Wqo ; Bqo ; V{\'e}rification ; Logique ; R{\'e}solution de contraintes ; Ordre sous-Mot",
  Month         = "June",
  Number        = "2018SACLN021",
  PDF           = "https://tel.archives-ouvertes.fr/tel-01945232/file/72667\_HALFON\_2018\_archivage.pdf",
  School        = "{Universit{\'e} Paris-Saclay}",
  Title         = "{On Effective Representations of Well Quasi-Orderings}",
  Type          = "Theses",
  URL           = "https://tel.archives-ouvertes.fr/tel-01945232",
  Year          = "2018",
  bdsk-url-1    = "https://tel.archives-ouvertes.fr/tel-01945232",
  File          = "On Effective Representations of Well Quasi-Orderings - 72667\_HALFON\_2018\_archivage - a - f.pdf"
}

@PhdThesis{ Halfon:PhD:2018, Author = "Halfon, Simon", date-added = "2020-04-13 09:52:52 +0200", date-modified = "2020-08-13 12:01:41 +0200", hal_id = "tel-01945232", hal_version = "v1", Keywords = "Wqo ; Bqo ; Verification ; Logic ; Constraint solving ; Subword ordering ; Wqo ; Bqo ; V{\'e}rification ; Logique ; R{\'e}solution de contraintes ; Ordre sous-Mot", Month = "June", Number = "2018SACLN021", PDF = "https://tel.archives-ouvertes.fr/tel-01945232/file/72667_HALFON_2018_archivage.pdf", School = "{Universit{\'e} Paris-Saclay}", Title = "{On Effective Representations of Well Quasi-Orderings}", Type = "Theses", URL = "https://tel.archives-ouvertes.fr/tel-01945232", Year = "2018", bdsk-url-1 = "https://tel.archives-ouvertes.fr/tel-01945232", File = "On Effective Representations of Well Quasi-Orderings - 72667_HALFON_2018_archivage - a - f.pdf" }