Compact constraints for verification of well quasi-ordered programs /
Saved in:
| OCLC: | 53939147 |
|---|---|
| Main Author: | |
| Corporate Author: | |
| Language: | English |
| Published: |
Uppsala :
Uppsala Universitet,
2003.
|
| Series: | Acta Universitatis Upsaliensis. Uppsala dissertations from the Faculty of Science and Technology ;
51. |
| Format: | Thesis Monograph Note that CRL will digitize material from the collection when copyright allows. |
| LEADER | 01369nam a2200337Mi 4500 | ||
|---|---|---|---|
| 001 | in00005867037 | ||
| 003 | OCoLC | ||
| 005 | 20040206094553.0 | ||
| 008 | 031219s2003 sw a m 000 0 eng d | ||
| 020 | |a 9155457886 (pbk.) | ||
| 035 | |a (OCoLC)53939147 | ||
| 040 | |a OHX |c OHX |d CRL | ||
| 049 | |a CRLL | ||
| 072 | 7 | |a QA |2 lcco | |
| 099 | |a P-00199720 | ||
| 100 | 1 | |a Nylén, Aletta. | |
| 245 | 1 | 0 | |a Compact constraints for verification of well quasi-ordered programs / |c Aletta Nylen. |
| 260 | |a Uppsala : |b Uppsala Universitet, |c 2003. | ||
| 300 | |a vii, 119 p. : |b fig., tab. ; |c 25 cm. | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a unmediated |b n |2 rdamedia. | ||
| 338 | |a volume |b nc |2 rdacarrier. | ||
| 490 | 1 | |a Uppsala dissertations from the Faculty of Science and Technology ; |v 51. | |
| 502 | |b doctoral |c University of Uppsala |d 2003. | ||
| 710 | 2 | |a Uppsala universitet. | |
| 752 | |a Sweden. | ||
| 830 | 0 | |a Acta Universitatis Upsaliensis. |p Uppsala dissertations from the Faculty of Science and Technology ; |v 51. | |
| 907 | |a .b18158341 |b 03-04-22 |c 02-06-04 | ||
| 998 | |a diss |b 02-06-04 |c m |d - |e - |f eng |g sw |h 0 |i 1 | ||
| 999 | f | f | |i 932dc9e3-7ceb-53c5-ba2e-4b724dfc2ddd |s f63be247-c86f-56d7-83da-c4e219d1e708 |t 0 |