Suchergebnisse - "Logic AND constraint programming. Keywords AND phrases automata theory*"

Reachability analysis of first-order definable pushdown systems

Autoren: Lorenzo Clemente Sławomir Lasota The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Lorenzo Clemente Sławomir Lasota The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.mimuw.edu.pl/%7Esl/PAPERS/csl15.pdf.

Schlagwörter: putation, F.2.2 [Nonnumerical Algorithms and Problems, Computations on discrete structures, F.3.1 [Specifying and Verifying and Reasoning about Programs, Mechanical verification, F.4.1 [Mathematical Logic, Logic and constraint programming. Keywords and phrases automata theory, pushdown systems, sets with atoms, saturation tech- nique. Digital Object Identifier 10.4230/LIPIcs.xxx.yyy.p

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.696.7211; http://www.mimuw.edu.pl/%7Esl/PAPERS/csl15.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.696.7211
http://www.mimuw.edu.pl/%7Esl/PAPERS/csl15.pdf