Change search
ReferencesLink to record
Permanent link

Direct link
A type-based framework for locating errors in constraint logic programs
2002 (English)Doctoral thesis, comprehensive summary (Other academic)
Place, publisher, year, edition, pages
Linköping: Linköping University Electronic Press, 2002. , 211 p.
Series
Linköping Studies in Science and Technology. Dissertations, ISSN 0345-7524 ; 772
Research subject
Embedded System
Identifiers
URN: urn:nbn:se:ltu:diva-18525Local ID: 90457cf0-c50e-11dd-80bd-000ea68e967bISBN: 91-7373-422-5OAI: oai:DiVA.org:ltu-18525DiVA: diva2:991534
Note
Upprättat; 2002; 20081208 (pawpie)Available from: 2016-09-29 Created: 2016-09-29

Open Access in DiVA

fulltext(1193 kB)1 downloads
File information
File name FULLTEXT01.pdfFile size 1193 kBChecksum SHA-512
fb6c3811dca66e3c74eb966ac192f91474d57064e1cccbd4cd93781652361373a9b1051ad54bba2ff6cad91920fe1f01171a6e717f927f29a11179906207e7eb
Type fulltextMimetype application/pdf

Other links

http://www.bibl.liu.se/liupubl/disp/disp2002/tek772s.pdf

Search in DiVA

By author/editor
Pietrzak, Pawel

Search outside of DiVA

GoogleGoogle Scholar
Total: 1 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 5 hits
ReferencesLink to record
Permanent link

Direct link