Nie jesteś zalogowany | Zaloguj się

PL /
EN

Konferencja: 24th EACSL Annual Conference on Computer Science Logic

Liczba publikacji: 1

2015

Sławomir Lasota , Lorenzo Clemente, Reachability analysis of first-order definable pushdown systems, 24th EACSL Annual Conference on Computer Science Logic, Berlin, Germany, 7 września 2015 - 10 września 2015. Zobacz w PBN