Nominal Kleene Coalgebra

Find Full text
Thumbnail
Fulltext:
143757.pdf
Embargo:
until further notice
Size:
138.7Kb
Format:
PDF
Description:
Publisher’s version
Publication year
2015
Author(s)
Kozen, D.
Mamouras, K.
Petrisan, D.L.
Silva, A.
Publisher
Berlin : Springer
Series
Lecture Notes in Computer Science ; 9135
ISBN
9783662476659
In
Halldórsson, M.M.; Iwama, K.; Kobayashi, N. (ed.), Automata, Languages, and Programming : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II, pp. 286-298
DOI
Publication type
Part of book or chapter of book
If a DOI or any other persistent identifier is unavailable, please use the following repository identifier to link to this item: https://hdl.handle.net/2066/143757   https://hdl.handle.net/2066/143757
Display more details

Upload full text

Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.