Search Results - "Logic AND constraint programming. Keywords AND phrases automata theory~"

Reachability analysis of first-order definable pushdown systems

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

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

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

Subject Terms: 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

File Description: 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

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