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 14:57
Last Modified: 25 Jul 2018 06:59
URI: https://ueaeprints.uea.ac.uk/id/eprint/9666
DOI: 10.1016/S0304-3975(03)00131-2

Actions (login required)

View Item