2022 Developer Survey is open! 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

Explore our Questions

5 votes
0 answers
40 views

Relationship between natural deduction refutation and tableaux for propositional logic

4 votes
0 answers
64 views

Are there classes for that FO-model checking is FPT on hypergraphs?

3 votes
1 answer
93 views

Efficient transformation into CNF preserving entailment

17 votes
7 answers
1k views

Pointers for CS applications of logic

0 votes
1 answer
54 views

Are there logical devices similar to "existential variables" or "blank nodes" of Semantic Web?

9 votes
0 answers
370 views

Examples of simulations in proof complexity that are not p-simulations

5 votes
0 answers
201 views

Satisfiability and a Galois Theory Analog

20 votes
1 answer
787 views

Combinators for the Primitive Recursive Functions

1 vote
1 answer
104 views

Defining functions on non-inductive types using LEM in Coq

8 votes
3 answers
633 views

What's the logical counterpart to jumps with arguments on CPS terms?

9 votes
1 answer
127 views

Validity problem of intuitionistic two-variable logic

7 votes
2 answers
2k views

Do past time LTL and future time LTL have the same expressiveness?

22 votes
1 answer
4k views

Prove proof irrelevance in Coq?

2 votes
0 answers
87 views

Recovering the inputs to Boolean circuits after partial evaluation

Browse more Questions