Skip to Main content Skip to Navigation
Directions of work or proceedings

Well Quasi-Orders in Computer Science (Dagstuhl Seminar 16031)

Jean Goubault-Larrecq 1 Monika Seisenberger Victor Selivanov Andreas Weiermann
1 LSV - Laboratoire Spécification et Vérification
Document type :
Directions of work or proceedings
Complete list of metadata
https://hal.inria.fr/hal-03189717
Contributor : Jean Goubault-Larrecq <>
Submitted on : Sunday, April 4, 2021 - 8:30:11 PM
Last modification on : Tuesday, April 6, 2021 - 3:25:31 AM

Identifiers

  • HAL Id : hal-03189717, version 1

Collections

INSMI | CNRS | ENS-CACHAN | ENS-PARIS-SACLAY

Citation

Jean Goubault-Larrecq, Monika Seisenberger, Victor Selivanov, Andreas Weiermann. Well Quasi-Orders in Computer Science (Dagstuhl Seminar 16031). 2016. ⟨hal-03189717⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

19

 

Contact                    Legal Notice                    Personal Data