Algorithmic Analysis of Programs with Well Quasi-Ordered Domains

Resource

Information and Computation 160 (2): 109-127

Journal

Information and Computation

Journal Volume

160

Journal Issue

2

Pages

109-127

Date Issued

2000

Date

2000

Author(s)

Abdulla, P. A.

Cerans, K.

Jonsson, B.

Tsay, Y.K.

URI

http://ntur.lib.ntu.edu.tw//handle/246246/85010

File(s)

Name

2.pdf

Size

180.28 KB

Format

Adobe PDF

Checksum

(MD5):15e64e80c0d4aba8870a934c6ef01467