@Article{goubaultlarrecq_et_al:DagRep.6.1.69,
author = {Goubault-Larrecq, Jean and Seisenberger, Monika and Selivanov, Victor and Weiermann, Andreas},
title = {{Well Quasi-Orders in Computer Science (Dagstuhl Seminar 16031)}},
pages = {69--98},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2016},
volume = {6},
number = {1},
editor = {Goubault-Larrecq, Jean and Seisenberger, Monika and Selivanov, Victor and Weiermann, Andreas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.1.69},
URN = {urn:nbn:de:0030-drops-58158},
doi = {10.4230/DagRep.6.1.69},
annote = {Keywords: Better quasi-order, Well quasi-order, Hierarchy, Infinite State Machines, Logic, Noetherian space, Reducibility, Termination, Topological Complexity,}
}