Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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-5 (print)OAI: oai:DiVA.org:ltu-18525DiVA: diva2:991534
Note
Upprättat; 2002; 20081208 (pawpie)Available from: 2016-09-29 Created: 2016-09-29Bibliographically approved

Open Access in DiVA

fulltext(1193 kB)4 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: 4 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: 7 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf