Tags
A tag is a keyword or label that categorizes your question with other, similar questions. Using the right tags makes it easier for others to find and answer your question.
4 questions
8 questions
2 questions
2 questions
4 questions
0 questions
practical questions about doing research in theoretical computer science
65 questions
Agda is a dependently-typed programming language and a proof assistant.
18 questions
Theoretical questions about Artificial Intelligence
67 questions
101 questions
94 questions
3 questions
Algebraic topology is the study of objects under continuous deformation using tools from abstract algebra such as groups, fields , rings and algebras (a combination of a group and a ring). An example …
14 questions
3 questions
0 questions
4 questions
6 questions
Questions related to (un)ambiguous formal grammars or automata, inherent ambiguity of languages, and similar topics.
4 questions
12 questions
23 questions
Questions arising from applications of theoretical computer science in other areas of computer science research/practice or other subjects.
74 questions
5 questions
58 questions
Hardness of approximation, aka inapproximability.
191 questions
8 questions
10 questions
87 questions
5 questions
0 questions
24 questions
4 questions
0 questions
Automata Theory, including abstract machines, grammars, parsing, grammatical inference, transducers, and finite-state techniques
416 questions
Automated theorem proving is the proving of mathematical theorems by a computer program.
49 questions