Well-Quasi-Orders for Algorithms

cover

@Book{            DemriFinkelGoubault-LarrecqSchmitzSchnoebelen:2019,
  Author        = "Demri, S. and Finkel, A. and Goubault-Larrecq, J. and Schmitz, S. and Schnoebelen, Ph.",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:26 +0200",
  Title         = "Well-Quasi-Orders for Algorithms",
  Year          = "2019",
  File          = "poly-2-9-1v08-oct-2018 (0) - a - a.pdf"
}

@Book{ DemriFinkelGoubault-LarrecqSchmitzSchnoebelen:2019, Author = "Demri, S. and Finkel, A. and Goubault-Larrecq, J. and Schmitz, S. and Schnoebelen, Ph.", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:26 +0200", Title = "Well-Quasi-Orders for Algorithms", Year = "2019", File = "poly-2-9-1v08-oct-2018 (0) - a - a.pdf" }