Encoding and Decoding in Refinement Algebra 2015 (English)In: Relational and Algebraic Methods in Computer Science - 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings / [ed] Wolfram Kahl, Michael Winter and José N. Oliveira, Springer Berlin/Heidelberg , 2015Conference paper, Published paper (Refereed)

Place, publisher, year, edition, pages

Springer Berlin/Heidelberg , 2015.

Series

Lecture Notes in Computer Science ; 9348

National Category

Algebra and Logic Computer Sciences

Identifiers

URN: urn:nbn:se:hig:diva-45134DOI: 10.1007/978-3-319-24704-5_13OAI: oai:DiVA.org:hig-45134DiVA, id: diva2:1881593

Conference

Relational and Algebraic Methods in Computer Science

Available from: 2015-10-13 Created: 2024-07-03Bibliographically 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

Algebra and LogicComputer Sciences

Search outside of DiVA

GoogleGoogle ScholarTotal: 15 hits