Publikacje

Konferencja: 30th Annual ACM/IEEE Symposium on Logic in Computer Science

2015

• 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 lipca 2015 - 10 lipca 2015. Zobacz w PBN
• Sławomir Lasota , Lorenzo Clemente, Timed pushdown automata revisited, 30th Annual ACM/IEEE Symposium on Logic in Computer Science, Kyoto, Japan, 6 lipca 2015 - 10 lipca 2015. Zobacz w PBN