Original language | English |
---|---|
Pages (from-to) | 111-123 |
Number of pages | 13 |
Journal | Theoretical Computer Science |
Volume | 309 |
Issue number | 1 |
DOIs | |
Publication status | Published - Dec 2003 |
Better-quasi-orderings and coinduction
Thomas Forster
Research output: Contribution to journal › Article
2
Citations
(Scopus)