Stack Exchange
log in
chat
meta
about
Stack Exchange
All Sites
Hot Questions
Top Users
Newsletters
Blogs
Arthur Rainbow
Paris
milchior.fr
Age: 25
top
accounts
reputation
activity
favorites
subscriptions
Top Questions
16
votes
Ambiguity and Logic
lo.logic
automata-theory
regular-language
nondeterminism
finite-model-theory
asked Mar 30 '11 at 23:38
cstheory.stackexchange.com
11
votes
Space alternating hierarchy
cc.complexity-theory
reference-request
space-bounded
alternating-hierarchy
asked Aug 23 '10 at 5:26
cstheory.stackexchange.com
10
votes
Collapsing of exptime and alternation bounded turing machine
cc.complexity-theory
conditional-results
descriptive-complexity
alternating-hierarchy
asked Aug 24 '10 at 2:39
cstheory.stackexchange.com
9
votes
Finding a finite model
reference-request
lo.logic
computability
finite-model-theory
asked Apr 13 '11 at 15:37
cstheory.stackexchange.com
8
votes
FO-uniform AC0 with some predicate
cc.complexity-theory
lo.logic
circuit-complexity
descriptive-complexity
finite-model-theory
asked Jul 22 '12 at 19:40
cstheory.stackexchange.com
6
votes
SAT in finite model theory without order
cc.complexity-theory
descriptive-complexity
finite-model-theory
asked Nov 28 '10 at 12:04
cstheory.stackexchange.com
Top Answers
9
Is $P^{\#P}=(P^{\#P})^{\#P}$ ?
cstheory.stackexchange.com
7
Is $(NP^{NP})^{NP} = NP^{(NP^{NP})}$ ?
cstheory.stackexchange.com
6
Algorithms from the Book.
cstheory.stackexchange.com
6
Algorithms from the Book.
cstheory.stackexchange.com
5
Regular expressions aren't
cstheory.stackexchange.com
5
Definition for MSO2 for arbitrary structures
cstheory.stackexchange.com
5
Dinner-table description of theoretical computer science?
cstheory.stackexchange.com
Stack Exchange works best with JavaScript enabled