lnu.se
Publications
Please wait ...
Simple search
Advanced search -
Research publications
Advanced search -
Student theses
Statistics
English
Svenska
Norsk
Jump to content
Change search
Search
Search
Only documents with full text in DiVA
Cite
Export
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
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-19236
Direct link
http://lnu.diva-portal.org/smash/record.jsf?pid=diva2:530154
Cite
Citation style
apa
ieee
modern-language-association-8th-edition
vancouver
Other style
apa
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
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
Decision Algebra: Parameterized Specification of Decision Models
Danylenko, Antonina
Linnaeus University, Faculty of Science and Engineering, School of Computer Science, Physics and Mathematics.
(Software Technology Group)
Zimmermann, Wolf
Martin-Luther-Universität Halle Wittenberg, Institut für Informatik.
Löwe, Welf
Linnaeus University, Faculty of Science and Engineering, School of Computer Science, Physics and Mathematics.
(Software Technology Group)
ORCID iD:
0000-0002-7565-3714
2012 (English)
In:
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, p. 40-43
Conference paper, Oral presentation with published abstract (Refereed)
Place, publisher, year, edition, pages
2012. p. 40-43
National Category
Computer Sciences
Identifiers
URN:
urn:nbn:se:lnu:diva-19236
OAI: oai:DiVA.org:lnu-19236
DiVA, id:
diva2:530154
Conference
21st Workshop on Algebraic Development Techniques, 7-10 June, 2012, Salamanca, Spain
Available from:
2012-08-30
Created:
2012-06-01
Last updated:
2018-01-12
Bibliographically approved
Open Access in DiVA
fulltext
(203 kB)
194 downloads
File information
File name
FULLTEXT02.pdf
File size
203 kB
Checksum
SHA-512
8d937ae0a151e9bfe922b7d8349647b36c669c2f2a52432643bb92b1cd945c590fe924c3a0be41322431654bef394d01c79d8243a04d0629cfa58b069e37c1c6
Type
fulltext
Mimetype
application/pdf
Other links
WADT 2012
Authority records
Danylenko, Antonina
Löwe, Welf
Search in DiVA
By author/editor
Danylenko, Antonina
Löwe, Welf
By organisation
School of Computer Science, Physics and Mathematics
On the subject
Computer Sciences
Search outside of DiVA
Google
Google Scholar
Total: 194 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
urn-nbn
Altmetric score
urn-nbn
Total: 240 hits
Cite
Export
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
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-19236
Direct link
http://lnu.diva-portal.org/smash/record.jsf?pid=diva2:530154
Cite
Citation style
apa
ieee
modern-language-association-8th-edition
vancouver
Other style
apa
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
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
v. 2.43.0
|
WCAG
|
DiVA support
|
Linnaeus University Library
|
Linnaeus University Press
|
Publish/Register
DiVA
Logotyp