Logotyp: till Uppsala universitets webbplats
uu.se
Publikationer från Uppsala universitet
Vänta ...
Enkel sökning
Avancerad sökning -
Forskningspublikationer
Avancerad sökning -
Studentuppsatser
Statistik
English
Svenska
Norsk
Hoppa till innehåll
Ändra sökning
Sök
Sök
Endast dokument med fulltext i DiVA
Referera
Exportera
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Länk till posten
Permanent länk
https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-20479
Direktlänk
http://uu.diva-portal.org/smash/record.jsf?pid=diva2:48252
Referera
Referensformat
apa
ieee
modern-language-association
vancouver
Annat format
apa
ieee
modern-language-association
vancouver
Annat format
Fler format
Språk
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annat språk
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annat språk
Fler språk
Utmatningsformat
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Skapa
Stäng
Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL
Valencia, Frank
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Tekniska sektionen, Institutionen för högspänningsforskning. Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik. datorteknik.
2003 (Engelska)
Ingår i:
Logic Programming, 19th International Conference, 2003, s. 422-437
Konferensbidrag, Publicerat paper (Refereegranskat)
Ort, förlag, år, upplaga, sidor
2003. s. 422-437
Identifikatorer
URN:
urn:nbn:se:uu:diva-20479
OAI: oai:DiVA.org:uu-20479
DiVA, id:
diva2:48252
Tillgänglig från:
2006-12-09
Skapad:
2006-12-09
Open Access i DiVA
Fulltext saknas i DiVA
Av organisationen
Institutionen för högspänningsforskning
Datorteknik
Sök vidare utanför DiVA
Google
Google Scholar
urn-nbn
Altmetricpoäng
urn-nbn
Totalt: 433 träffar
Referera
Exportera
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Länk till posten
Permanent länk
https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-20479
Direktlänk
http://uu.diva-portal.org/smash/record.jsf?pid=diva2:48252
Referera
Referensformat
apa
ieee
modern-language-association
vancouver
Annat format
apa
ieee
modern-language-association
vancouver
Annat format
Fler format
Språk
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annat språk
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annat språk
Fler språk
Utmatningsformat
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Skapa
Stäng
v. 2.47.0
|
WCAG
|
Uppsala universitetsbibliotek
|
Fråga biblioteket
|
Logga in i DiVA
|
Söka och länka i DiVA
DiVA
Logotyp