Autor:	Hasuo, I., Cho, K., Kataoka, T., Jacobs, B., Kozen, D.
Přispěvatelé:	Kozen, D.
Rok vydání:	2013
Předmět:	Electronic Notes in Theoretical Computer Science Digital Security
Zdroj:	Kozen, D. (ed.), Mathematical Foundations of Programming Semantics : Twenty-ninth Annual Conference Tulane University New Orleans, LA, USA June 23–25, 2013, pp. 197-214 Electronic Notes in Theoretical Computer Science, 197-214. S.l. : Elsevier STARTPAGE=197;ENDPAGE=214;TITLE=Electronic Notes in Theoretical Computer Science
Popis:	Contains fulltext : 117353.pdf (Publisher’s version ) (Open Access)
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0dd3ca98183829ee609b3d1989b5a604 https://hdl.handle.net/2066/117353 Zobrazit plný text záznamu