Better-quasi-orderings and coinduction

Thomas Forster

Research output: Contribution to journal › Article

2 Citations (Scopus)

Original language	English
Pages (from-to)	111-123
Number of pages	13
Journal	Theoretical Computer Science
Volume	309
Issue number	1
DOIs	https://doi.org/10.1016/S0304-3975(03)00131-2
Publication status	Published - Dec 2003

Access to Document

@article{76ec73e3069149e6955f17020ef16e7e,

title = "Better-quasi-orderings and coinduction",

author = "Thomas Forster",

year = "2003",

month = dec,

doi = "10.1016/S0304-3975(03)00131-2",

language = "English",

volume = "309",

pages = "111--123",

journal = "Theoretical Computer Science",

publisher = "Elsevier",

number = "1",

}