Search Results - "Decision problems General Terms Algorithms"

The Orbit Problem in Higher Dimensions

Authors: Ventsislav Chonev Joël Ouaknine James Worrell et al.

Contributors: Ventsislav Chonev Joël Ouaknine James Worrell et al.

Source: http://www.cs.ox.ac.uk/joel.ouaknine/publications/orbit13.pdf.

Subject Terms: F.2.1 [Analysis of Algorithms and Problem Complexity, Numerical Algorithms and Problems—Number-theoretic computations, F.4.3 [Formal Languages, Decision problems General Terms Algorithms, Theory, Verification Keywords Matrix powers, Orbit Problem, Skolem’s Problem

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.1387; http://www.cs.ox.ac.uk/joel.ouaknine/publications/orbit13.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.1387
http://www.cs.ox.ac.uk/joel.ouaknine/publications/orbit13.pdf

The Tree Width of Auxiliary Storage

Authors: P. Madhusudan Gennaro Parlato The Pennsylvania State University CiteSeerX Archives

Contributors: P. Madhusudan Gennaro Parlato The Pennsylvania State University CiteSeerX Archives

Source: http://www-faculty.cs.uiuc.edu/%7Emadhu/graphautomata-popl11.pdf.

Subject Terms: Software/Program Verification, Model checking, F.4.3 [Theory of Computation, Formal Languages, Decision problems General Terms Algorithms, Reliability, Theory, Verification Keywords model checking, automata, decision procedures, bounded tree-width

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.188.3624

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.188.3624
http://www-faculty.cs.uiuc.edu/%7Emadhu/graphautomata-popl11.pdf