On Two Dually Nondeterministic Refinement Algebras 2006 (English)In: Relations and Kleene Algebra in Computer Science, 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006, Proceedings, Springer , 2006, p. 373-387Conference paper, Published paper (Refereed)

Place, publisher, year, edition, pages

Springer , 2006. p. 373-387

Series

Lecture Notes in Computer Science ; 4136

National Category

Philosophy Computer Sciences

Identifiers

URN: urn:nbn:se:hig:diva-45149DOI: 10.1007/11828563_25OAI: oai:DiVA.org:hig-45149DiVA, id: diva2:1881562

Conference

Relations and Kleene Algebra in Computer Science, 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra

Available from: 2020-05-29 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

PhilosophyComputer Sciences

Search outside of DiVA

GoogleGoogle ScholarTotal: 24 hits