You are not logged in | Log in

PL /
EN

Conference: 24th EACSL Annual Conference on Computer Science Logic

Number of publications: 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 September 2015 - 10 September 2015. See in PBN

European Founds

European Social Found

Initiative of Excellence – Research University

HR Excellence in Research

Integrated Development Programme

Polish National Science Centre

Erasmus Without Paper

Erasmus Without Paper