Last call to make your voice heard! Our 2022 Developer Survey closes in less than a week. Take survey.

Theoretical Computer Science Stack Exchange is a question and answer site for theoretical computer scientists and researchers in related fields. It only takes a minute to sign up.

Sign up to join this community
Anybody can ask a question
Anybody can answer
The best answers are voted up and rise to the top

Top Questions

2 votes
1 answer
220 views

Similarities and differences between Pie and popular languages with dependent types

3 votes
2 answers
85 views

How exactly does a compatible reduction relation change the $\pi$-calculus?

4 votes
1 answer
88 views

"Operations" in category theory that are not defined for arrows

2 votes
1 answer
62 views

Question about algorithm for enumerating minimal AB-separators

-1 votes
0 answers
103 views

Relation between BSS and Turing models

5 votes
0 answers
65 views

Relationship between natural deduction refutation and tableaux for propositional logic

1 vote
0 answers
83 views

Are there more learnable but undecidable cases except the halting problem

0 votes
1 answer
55 views

Is there FPT or XP algorithms knowm for Shortest Steiner cycle and $(a,b)$-Steiner path problem

-2 votes
0 answers
60 views

Models of computation and cardinality [closed]

1 vote
0 answers
56 views

Can we describe any context-sensitive language by a grammar without left recursion?

2 votes
0 answers
45 views

Ignore side effect in monadic code

0 votes
1 answer
27 views

What set of sequential 2-bit inputs would it take for any system with 2 bits of memory to not be able to no it is not being tested


Looking for more? Browse the complete list of questions, or popular tags. Help us answer unanswered questions.