Better-quasi-orderings and coinduction

Forster, Thomas (2003) Better-quasi-orderings and coinduction. Theoretical Computer Science, 309 (1). pp. 111-123.

Full text not available from this repository.
Item Type: Article
Faculty \ School: Faculty of Arts and Humanities > School of Philosophy
Depositing User: EPrints Services
Date Deposited: 01 Oct 2010 13:57
Last Modified: 28 Apr 2022 07:32
DOI: 10.1016/S0304-3975(03)00131-2

Actions (login required)

View Item View Item