List questions from computer-science

Published on 11 Apr 2026 - 4:52

355

Views

Reference Request on Order Theory topics

Published on 16 Apr 2026 - 14:51

7.9k

Views

Proving a tight bound on the worst case running time of an algorithm?

Published on 14 Apr 2026 - 3:59

4.1k

Views

lambda calculus and category theory

Published on 15 Apr 2026 - 3:29

865

Views

Context free grammar question

Published on 09 Apr 2026 - 23:04

961

Views

NP-complete: One proof to rule them all

Published on 15 Apr 2026 - 18:37

76

Views

Proving that $L=\{w\in \Sigma^*: |w|_a= 2^n +273$, $n\in \mathbb{N} \}$ is irregular.

Published on 14 Apr 2026 - 17:42

318

Views

Communication complexity example problem

Published on 13 Apr 2026 - 12:20

82

Views

Prove the existence of $C\in L_{regular}$ so that: $A \prec C \prec B $

Published on 12 Apr 2026 - 8:39

247

Views

Finding aggregate score from incomplete data

Published on 15 Apr 2026 - 15:03

555

Views

How to understand the definition of sets in homotopy type theory and the role of univalence?

Published on 30 Mar 2026 - 1:48

197

Views

Is there a DFA with $k+2$ states which its reverse has $2^k$ states

Published on 16 Apr 2026 - 4:48

402

Views

Cut-off Subtraction in Coq

Published on 19 Apr 2026 - 16:21

79

Views

first order definability with $<$ vs $Succ, 0$.

Published on 14 Apr 2026 - 19:34

353

Views

Is it possible that P != NP cannot be proved?

Published on 10 Apr 2026 - 6:41

List Question

Turing Machine for comparing, copying, and operating

Reference Request on Order Theory topics

Proving a tight bound on the worst case running time of an algorithm?

lambda calculus and category theory

Context free grammar question

NP-complete: One proof to rule them all

Proving that $L=\{w\in \Sigma^*: |w|_a= 2^n +273$, $n\in \mathbb{N} \}$ is irregular.

Communication complexity example problem

Prove the existence of $C\in L_{regular}$ so that: $A \prec C \prec B $

Finding aggregate score from incomplete data

How to understand the definition of sets in homotopy type theory and the role of univalence?

Is there a DFA with $k+2$ states which its reverse has $2^k$ states

Cut-off Subtraction in Coq

first order definability with $<$ vs $Succ, 0$.

Is it possible that P != NP cannot be proved?

Trending Questions

Popular # Hahtags

Popular Questions