Better-quasi-orderings and coinduction

Thomas Forster

    Research output: Contribution to journalArticle

    1 Citation (Scopus)
    Original languageEnglish
    Pages (from-to)111-123
    Number of pages13
    JournalTheoretical Computer Science
    Volume309
    Issue number1
    DOIs
    Publication statusPublished - Dec 2003

    Cite this