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-267935
Direktlänk
http://uu.diva-portal.org/smash/record.jsf?pid=diva2:882224
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
Modal Logics for Nominal Transition Systems
Parrow, Joachim
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datalogi.
(Mobility)
Borgström, Johannes
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datalogi.
(Mobility)
ORCID-id:
0000-0001-5990-5742
Eriksson, Lars-Henrik
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datalogi.
(Mobility)
Gutkovas, Ramunas
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datalogi.
(Mobility)
Weber, Tjark
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datalogi.
(Mobility)
Visa övriga samt affilieringar
2015 (Engelska)
Ingår i:
26th International Conference on Concurrency Theory: CONCUR 2015, Dagstuhl, Germany: Leibniz-Zentrum für Informatik , 2015, s. 198-211
Konferensbidrag, Publicerat paper (Refereegranskat)
Ort, förlag, år, upplaga, sidor
Dagstuhl, Germany: Leibniz-Zentrum für Informatik , 2015. s. 198-211
Serie
Leibniz International Proceedings in Informatics (LIPIcs), ISSN 1868-8969 ; 42
Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
URN:
urn:nbn:se:uu:diva-267935
DOI:
10.4230/LIPIcs.CONCUR.2015.198
ISBN:
978-3-939897-91-0 (tryckt)
OAI: oai:DiVA.org:uu-267935
DiVA, id:
diva2:882224
Konferens
CONCUR 2015, September 1–4, Madrid, Spain
Projekt
UPMARC
Forskningsfinansiär
Vetenskapsrådet, 2014-5478
Stiftelsen för strategisk forskning (SSF)
Tillgänglig från:
2015-12-14
Skapad:
2015-11-30
Senast uppdaterad:
2018-01-19
Bibliografiskt granskad
Open Access i DiVA
Fulltext saknas i DiVA
Övriga länkar
Förlagets fulltext
Person
Parrow, Joachim
Borgström, Johannes
Eriksson, Lars-Henrik
Gutkovas, Ramunas
Weber, Tjark
Sök vidare i DiVA
Av författaren/redaktören
Parrow, Joachim
Borgström, Johannes
Eriksson, Lars-Henrik
Gutkovas, Ramunas
Weber, Tjark
Av organisationen
Datalogi
I ämnet
Datavetenskap (datalogi)
Sök vidare utanför DiVA
Google
Google Scholar
doi
isbn
urn-nbn
Altmetricpoäng
doi
isbn
urn-nbn
Totalt: 510 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-267935
Direktlänk
http://uu.diva-portal.org/smash/record.jsf?pid=diva2:882224
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.49.0
|
WCAG
|
Uppsala universitetsbibliotek
|
Fråga biblioteket
|
Logga in i DiVA
|
Söka och länka i DiVA
DiVA
Logotyp