Algorithmic analysis of programs with well quasi-ordered domains

Journal

Information and Computation

Journal Volume

160

Journal Issue

1-2

Pages

109-127

Date Issued

2000

Author(s)

Abdulla, P.A.

Čerāns, K.

Jonsson, B.

DOI

10.1006/inco.1999.2843

URI

http://www.scopus.com/inward/record.url?eid=2-s2.0-0034632154&partnerID=MN8TOARS

http://scholars.lib.ntu.edu.tw/handle/123456789/288842

Type

journal article