Decision Problems in the Theory of Automata
E900194
"Decision Problems in the Theory of Automata" is the doctoral thesis of computer scientist Amir Pnueli, focusing on foundational questions about the solvability and complexity of problems related to automata theory.
Statements (25)
| Predicate | Object |
|---|---|
| instanceOf |
academic dissertation
ⓘ
computer science work ⓘ doctoral thesis ⓘ |
| academicDegree | PhD ⓘ |
| academicDiscipline | mathematical logic in computer science ⓘ |
| author | Amir Pnueli NERFINISHED ⓘ |
| authorNationality | Israeli ⓘ |
| authorOccupation | computer scientist ⓘ |
| contributionType | theoretical foundations ⓘ |
| field |
automata theory
ⓘ
computer science ⓘ theoretical computer science ⓘ |
| focusesOn |
complexity of automata-related problems
ⓘ
decidability of problems about automata ⓘ foundational questions in automata theory ⓘ |
| hasAuthor | Amir Pnueli NERFINISHED ⓘ |
| language | English ⓘ |
| relatedTo |
complexity theory
ⓘ
computability theory ⓘ finite automata ⓘ formal languages ⓘ |
| topic |
computational complexity
ⓘ
decision problems ⓘ solvability of automata problems ⓘ |
| workType | research thesis ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.