hig.se
Publications
System disruptions
We are currently experiencing disruptions on the search portals due to high traffic. We are working to resolve the issue, you may temporarily encounter an error message.
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:hig:diva-45168
Direct link
http://hig.diva-portal.org/smash/record.jsf?pid=diva2:1881521
Cite
Citation style
apa
harvard-cite-them-right
ieee
modern-language-association-8th-edition
vancouver
Other style
apa
harvard-cite-them-right
ieee
modern-language-association-8th-edition
vancouver
Other style
More styles
Language
sv-SE
en-GB
en-US
fi-FI
nn-NO
nn-NB
de-DE
Other locale
sv-SE
en-GB
en-US
fi-FI
nn-NO
nn-NB
de-DE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
Refinement Algebra with Operators for Enabledness and Termination
Solin, Kim
Åbo Akademi.
Wright, Joakim von
Åbo Akademi.
2006 (English)
In:
Mathematics of Program Construction, 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings, Springer , 2006, p. 397-415
Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
Springer , 2006. p. 397-415
Series
Lecture Notes in Computer Science ; 4014
National Category
Philosophy Computer Sciences
Identifiers
URN:
urn:nbn:se:hig:diva-45168
DOI:
10.1007/11783596_23
OAI: oai:DiVA.org:hig-45168
DiVA, id:
diva2:1881521
Conference
Mathematics of Program Construction, 8th International Conference
Available from:
2020-05-29
Created:
2024-07-03
Last updated:
2024-11-07
Bibliographically approved
Open Access in DiVA
No full text in DiVA
Other links
Publisher's full text
Authority records
Solin, Kim
Search in DiVA
By author/editor
Solin, Kim
On the subject
Philosophy
Computer Sciences
Search outside of DiVA
Google
Google Scholar
doi
urn-nbn
Altmetric score
doi
urn-nbn
Total: 19 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:hig:diva-45168
Direct link
http://hig.diva-portal.org/smash/record.jsf?pid=diva2:1881521
Cite
Citation style
apa
harvard-cite-them-right
ieee
modern-language-association-8th-edition
vancouver
Other style
apa
harvard-cite-them-right
ieee
modern-language-association-8th-edition
vancouver
Other style
More styles
Language
sv-SE
en-GB
en-US
fi-FI
nn-NO
nn-NB
de-DE
Other locale
sv-SE
en-GB
en-US
fi-FI
nn-NO
nn-NB
de-DE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
v. 2.45.0
|
WCAG
|
University Library in Gävle
|
Research at the University
|
Publish in DiVA
DiVA
Logotyp