lnu.se
Publikationer
Driftinformation
Ett driftavbrott i samband med versionsuppdatering är planerat till 24/9-2024, kl 12.00-14.00. Under den tidsperioden kommer DiVA inte att vara tillgängligt
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:lnu:diva-19236
Direktlänk
http://lnu.diva-portal.org/smash/record.jsf?pid=diva2:530154
Referera
Referensformat
apa
ieee
modern-language-association-8th-edition
vancouver
Annat format
apa
ieee
modern-language-association-8th-edition
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
Decision Algebra: Parameterized Specification of Decision Models
Danylenko, Antonina
Linnéuniversitetet, Fakultetsnämnden för naturvetenskap och teknik, Institutionen för datavetenskap, fysik och matematik, DFM.
(Software Technology Group)
Zimmermann, Wolf
Martin-Luther-Universität Halle Wittenberg, Institut für Informatik.
Löwe, Welf
Linnéuniversitetet, Fakultetsnämnden för naturvetenskap och teknik, Institutionen för datavetenskap, fysik och matematik, DFM.
(Software Technology Group)
ORCID-id:
0000-0002-7565-3714
2012 (Engelska)
Ingår i:
WADT 2012: 21st International Workshop on Algebraic Development Techniques, 7-10 June, 2012, Salamanca, Spain ; Technical report TR-08/12 / [ed] Narsio Martí-Oliet, Miguel Palomino, 2012, s. 40-43
Konferensbidrag, Muntlig presentation med publicerat abstract (Refereegranskat)
Ort, förlag, år, upplaga, sidor
2012. s. 40-43
Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
URN:
urn:nbn:se:lnu:diva-19236
OAI: oai:DiVA.org:lnu-19236
DiVA, id:
diva2:530154
Konferens
21st Workshop on Algebraic Development Techniques, 7-10 June, 2012, Salamanca, Spain
Tillgänglig från:
2012-08-30
Skapad:
2012-06-01
Senast uppdaterad:
2018-01-12
Bibliografiskt granskad
Open Access i DiVA
fulltext
(203 kB)
203 nedladdningar
Filinformation
Filnamn
FULLTEXT02.pdf
Filstorlek
203 kB
Checksumma
SHA-512
8d937ae0a151e9bfe922b7d8349647b36c669c2f2a52432643bb92b1cd945c590fe924c3a0be41322431654bef394d01c79d8243a04d0629cfa58b069e37c1c6
Typ
fulltext
Mimetyp
application/pdf
Övriga länkar
WADT 2012
Person
Danylenko, Antonina
Löwe, Welf
Sök vidare i DiVA
Av författaren/redaktören
Danylenko, Antonina
Löwe, Welf
Av organisationen
Institutionen för datavetenskap, fysik och matematik, DFM
I ämnet
Datavetenskap (datalogi)
Sök vidare utanför DiVA
Google
Google Scholar
Totalt: 203 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.
urn-nbn
Altmetricpoäng
urn-nbn
Totalt: 244 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:lnu:diva-19236
Direktlänk
http://lnu.diva-portal.org/smash/record.jsf?pid=diva2:530154
Referera
Referensformat
apa
ieee
modern-language-association-8th-edition
vancouver
Annat format
apa
ieee
modern-language-association-8th-edition
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.43.0
|
WCAG
|
DiVA-support
|
Linnéuniversitetets bibliotek
|
Linnaeus University Press
|
Publicera/Registrera
DiVA
Logotyp