Publication year
2015Publisher
Los Alamitos : IEEE
ISBN
10436871
In
Bilof, R. (ed.), LICS 2015 : 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science. Proceedings, pp. 450-461Annotation
LICS 2015 : 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 6-10 July 2015 Kyoto, Japan
Publication type
Article in monograph or in proceedings

Display more detailsDisplay less details
Editor(s)
Bilof, R.
Organization
Digital Security
Mathematical Physics
Languages used
English (eng)
Book title
Bilof, R. (ed.), LICS 2015 : 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science. Proceedings
Page start
p. 450
Page end
p. 461
Subject
Mathematical PhysicsThis item appears in the following Collection(s)
- Academic publications [229074]
- Electronic publications [111477]
- Faculty of Science [34257]
- Open Access publications [80295]
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.