6
Is linear-time reduction symmetric?
cs.stackexchange.com
6
Agda: Can't find std-lib when installing with Stack
stackoverflow.com
6
Do static and dynamic scoping matter to the closure of a function?
cs.stackexchange.com
6
Reconciling NP and the decision problem
cs.stackexchange.com
6
Tasks in which recursion is either the fastest or only way to produce a result
cs.stackexchange.com
6
Is it compulsory that every infinite set be non regular?
cs.stackexchange.com
6
Can every program be parallelized infinitely and automatically?
cs.stackexchange.com
6
Why is $P \subseteq NP$?
cs.stackexchange.com
6
Languages of cardinality higher than $\aleph_0$
cs.stackexchange.com
5
Why does Agda use Set instead of Type?
proofassistants.stackexchange.com
5
What should I call my graduated PhD advisee?
academia.stackexchange.com
5
Inconsistent Turing machine
cstheory.stackexchange.com
5
Store and sort a large number of 64-bit integers
cs.stackexchange.com
5
Subset sum, pseudo-polynomial time dynamic programming solution?
cs.stackexchange.com
5
What is a pattern in dependent pattern matching?
proofassistants.stackexchange.com
5
Make ChatGPT write formal proof from natural language proof
proofassistants.stackexchange.com
5
Undergraduate studies: Math or CS?
cs.stackexchange.com
5
Haskero fails with "Not a valid Unicode code point!"
stackoverflow.com
5
Does reachability belong to P?
cs.stackexchange.com
5
Resources for implementing dependent type theory
cs.stackexchange.com
5
Show that a language is RE or recursive
cs.stackexchange.com
5
Finding an isomorphism between finite automata
cs.stackexchange.com
5
Is P/poly known to be in RE?
cs.stackexchange.com
5
Would it ever be possible for computer viruses to evolve new "genes" to allow them to perform their job?
cs.stackexchange.com
5
Is it possible to be admitted to CS PhD programs (in the US) with scholarship at age 18?
academia.stackexchange.com
5
How do you find a hash function that respects a custom equality function?
cs.stackexchange.com
5
Can an NP-hard problem be polynomial on average?
cs.stackexchange.com
5
What untyped term inhabits induction on natural numbers in CoC?
cs.stackexchange.com
5
Example of exponential algorithm performing better than a polynomial one?
cs.stackexchange.com
5
What makes a metaheuristic meta?
cs.stackexchange.com
prev
1
2
3
4
5
6
next