Nie jesteś zalogowany | Zaloguj się

PL /
EN

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

Liczba publikacji: 2

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