<--- Back to Details
First PageDocument Content
Complexity classes / Mathematics / Theoretical computer science / Discrete mathematics / EXPTIME / P / Reachability problem / Matrix / Controllability / Decidability / Reachability / Word problem
Date: 2018-05-21 09:45:07
Complexity classes
Mathematics
Theoretical computer science
Discrete mathematics
EXPTIME
P
Reachability problem
Matrix
Controllability
Decidability
Reachability
Word problem

Reachability games and related matrix and word problems Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy by

Add to Reading List

Source URL: cgi.csc.liv.ac.uk

Download Document from Source Website

File Size: 4,10 MB

Share Document on Facebook

Similar Documents

Lebesgue density and Π01 Classes Mushfeq Khan University of Hawai‘i at M¯anoa Algorithmic Randomness and Complexity Shonan Village Center September 12th, 2014

Lebesgue density and Π01 Classes Mushfeq Khan University of Hawai‘i at M¯anoa Algorithmic Randomness and Complexity Shonan Village Center September 12th, 2014

DocID: 1ubuP - View Document

Rademacher Complexity Margin Bounds for Learning with a Large Number of Classes Vitaly Kuznetsov Courant Institute of Mathematical Sciences, 251 Mercer street, New York, NY, 10012 Mehryar Mohri

Rademacher Complexity Margin Bounds for Learning with a Large Number of Classes Vitaly Kuznetsov Courant Institute of Mathematical Sciences, 251 Mercer street, New York, NY, 10012 Mehryar Mohri

DocID: 1t1hx - View Document

Principles of metabolism: coping with complexity Six classes of enzymes

Principles of metabolism: coping with complexity Six classes of enzymes

DocID: 1sh47 - View Document

Logic, Computation and Constraint Satisfaction Barnaby D. Martin University of Leicester

Logic, Computation and Constraint Satisfaction Barnaby D. Martin University of Leicester

DocID: 1ruap - View Document

The complexity of positive first-order logic without equality II: The four-element case Barnaby Martin1? and Jos Martin2 1  School of Engineering and Computing Sciences, Durham University,

The complexity of positive first-order logic without equality II: The four-element case Barnaby Martin1? and Jos Martin2 1 School of Engineering and Computing Sciences, Durham University,

DocID: 1rtIQ - View Document