Area 51 » Science

definition commitment beta

Top Example Questions

10
The subset sum problem is NP-complete. Can the following variation be proved to be NP-complete?

10
Is it possible to enumerate all propositions entailed by a set of formulas in higher-order logic?

10
Is every context free language over a unary alphabet regular?

10
What is a mostly-concurrent garbage collector (as opposed to a concurrent GC or an ordinary incremental GC in a concurrent system)?

10
What other mechanisms besides the Pumping Lemma are there to prove a grammar is not regular?


view all questions »

225 Committed

total reputation user reputation most recent
0
referred
28k
total rep
"I will be mostly interested in questions that sit in the overlap between computer science and mathematical logic. "
Professional or Expert
Feb 9 '12 at 14:17

referred by Raphael


0
referred
27k
total rep
(no comment)
Professional or Expert
Dec 27 '11 at 11:54


0
referred
27k
total rep
(no comment)
Academic or Research-Level Student
Feb 10 '12 at 17:25

referred by Raphael


0
referred
25k
total rep
"SO is only for programming, theoretical CS seems too upper-level for most undergrad CS questions"
Academic or Research-Level Student
Mar 3 '12 at 0:43


0
referred
25k
total rep
"Perfect counterpart to StackOverflow."
Academic or Research-Level Student
Jan 27 '12 at 13:38


0
referred
25k
total rep
(no comment)
Professional or Expert
Dec 2 '11 at 9:35

referred by Raphael


0
referred
24k
total rep
(no comment)
Academic or Research-Level Student
Mar 1 '12 at 13:26


0
referred
24k
total rep
"Pofessional mathematician with interest in basic computer science questions"
Academic or Research-Level Student
Feb 4 '12 at 11:10

referred by Raphael


0
referred
22k
total rep
(no comment)
Academic or Research-Level Student
Feb 21 '12 at 4:55

referred by Raphael


0
referred
20k
total rep
(no comment)
Academic or Research-Level Student
Mar 2 '12 at 21:33

referred by Raphael


1 2 3 4 5 … 23