liu.seSearch for publications in DiVA
EnglishSvenskaNorsk
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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
Static incorrectness diagnosis of CLP (FD)
Linköping University, Department of Computer and Information Science. Linköping University, The Institute of Technology.
1998 (English)Licentiate thesis, monograph (Other academic)
Place, publisher, year, edition, pages
Linköping: Univ. , 1998. , p. 75
Series
Linköping Studies in Science and Technology. Thesis, ISSN 0280-7971 ; 742
National Category
Embedded Systems
Identifiers
URN: urn:nbn:se:liu:diva-164612Local ID: LiU-TEK-LIC-1998:77ISBN: 9172194030 (print)OAI: oai:DiVA.org:liu-164612DiVA, id: diva2:1417288
Presentation
1998-01-25, 13:15
Available from: 2020-03-27 Created: 2020-03-27 Last updated: 2021-06-08Bibliographically approved

Open Access in DiVA

No full text in DiVA

Authority records

Pietrzak, Pawel

Search in DiVA

By author/editor
Pietrzak, Pawel
By organisation
Department of Computer and Information ScienceThe Institute of Technology
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 21 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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
v. 2.46.0
|
Accessibility
|
DiVA portal
|
DiVA Log in
|
Contact us
|
LiU University Library
|
SwePub
|
Uppsök