You are not logged in |
Back to the list of the institutes
Publications
Conference: 30th Annual ACM/IEEE Symposium on Logic in Computer Science
Number of publications: 22015
- Jerzy Marcinkowski, Tomasz Gogacz , The hunt for a red spider : conjunctive query determinacy is undecidable, 30th Annual ACM/IEEE Symposium on Logic in Computer Science, Kyoto, Japan, 6 July 2015 - 10 July 2015. See in PBN
- Sławomir Lasota , Lorenzo Clemente, Timed pushdown automata revisited, 30th Annual ACM/IEEE Symposium on Logic in Computer Science, Kyoto, Japan, 6 July 2015 - 10 July 2015. See in PBN
