Reputation
Top tag
Next privilege 250 Rep.
View close votes
Badges
4
Newest
 Supporter
Impact
~950 people reached

  • 0 posts edited
  • 0 helpful flags
  • 4 votes cast
Feb
17
accepted Close formula for the following iterative process
Feb
17
asked Close formula for the following iterative process
Feb
4
comment Büchi Pushdown System Accepting Run
Wow, perfect answer. Thank you very much!
Feb
4
accepted Büchi Pushdown System Accepting Run
Feb
2
asked Büchi Pushdown System Accepting Run
Jan
7
awarded  Scholar
Jan
7
awarded  Supporter
Jan
7
accepted Why a formula must be closed in order to prove decidability?
Jan
7
comment Why a formula must be closed in order to prove decidability?
thanks very much, really good answer.
Jan
7
revised Why a formula must be closed in order to prove decidability?
edited tags
Jan
7
comment Why a formula must be closed in order to prove decidability?
@DanBrumleve: yes, I read that line, but it isnt clear enought to me.
Jan
7
comment Why a formula must be closed in order to prove decidability?
@AsafKaragila: I believe so, was a mistake fulfilling the tags.
Jan
7
asked Why a formula must be closed in order to prove decidability?
Dec
6
comment Integer coordinate set of points that is a member of sphere surface
Thanks for the links JM.
Dec
6
comment Integer coordinate set of points that is a member of sphere surface
Ok, thats a alternative. But it results in a solution O(n³), which I am trying to avoid...
Dec
6
awarded  Student
Dec
6
asked Integer coordinate set of points that is a member of sphere surface
Dec
6
awarded  Autobiographer