Reputation
1,146
Top tag
Next privilege 2,000 Rep.
Edit questions and answers
Badges
8 27
Impact
~24k people reached

Dec
3
accepted How much topology for graph theory?
Nov
27
comment How much topology for graph theory?
Where exactly are the notes?
Nov
27
asked How much topology for graph theory?
Nov
22
accepted Generated equivalence relations in logics
Nov
21
revised $\exists x Px \land \exists x Qx$ does not imply $\exists x (P x \land Q x)$
More explenation
Nov
21
answered $\exists x Px \land \exists x Qx$ does not imply $\exists x (P x \land Q x)$
Nov
21
revised $\exists x Px \land \exists x Qx$ does not imply $\exists x (P x \land Q x)$
spelling prettierer relations
Nov
21
suggested approved edit on $\exists x Px \land \exists x Qx$ does not imply $\exists x (P x \land Q x)$
Nov
21
asked Generated equivalence relations in logics
Nov
15
awarded  Yearling
Aug
8
accepted Integral Polyhedra: Integer on each face
Aug
7
asked Integral Polyhedra: Integer on each face
Aug
6
revised Formal Reduction: Pushdown Automata recognizing context free languages with bounded stack
added additional tags
Aug
6
suggested approved edit on Formal Reduction: Pushdown Automata recognizing context free languages with bounded stack
Aug
6
revised Formal Reduction: Pushdown Automata recognizing context free languages with bounded stack
spelling puncuation
Aug
6
suggested approved edit on Formal Reduction: Pushdown Automata recognizing context free languages with bounded stack
Aug
6
revised Formal Reduction: Pushdown Automata recognizing context free languages with bounded stack
spelling and stuff
Aug
6
suggested approved edit on Formal Reduction: Pushdown Automata recognizing context free languages with bounded stack
Jul
26
awarded  Nice Question
Jun
25
revised Generlized Büchi Games and Closed under superset Muller Games
fixing latex