Better-quasi-orderings and coinduction

• 作者Thomas Forster
• 卷第309卷
• 印刷ISSN0304-3975
• 文件大小246.91KB
• 发表时间2003
• DOI10.1016/s0304-3975(03)00131-2
• 页码111-123