1,057 reputation
421
bio website
location Aachen, Germany
age 25
visits member for 2 years, 10 months
seen Sep 10 at 3:49

I'm computer science grad student in my first master semester majoring in theoretical computer science.


May
21
answered Notation for Model-Relation of formulae with free variables
May
21
asked Notation for Model-Relation of formulae with free variables
May
13
awarded  Excavator
May
13
revised Projected graph and given graph
Grammar, Latex, Spacing
May
13
suggested suggested edit on Projected graph and given graph
May
10
revised Bad proof or not?
Formatting, Latex, Math stuff
May
10
suggested suggested edit on Bad proof or not?
May
9
revised Finding 1000th 5-smooth number
Beautify, Latex ...
May
9
suggested suggested edit on Finding 1000th 5-smooth number
May
9
accepted Reusing Variables First Order Logics
May
8
asked Reusing Variables First Order Logics
Mar
28
awarded  Tumbleweed
Mar
21
accepted Natural Decision Problem not in PTIME
Mar
21
answered Natural Decision Problem not in PTIME
Mar
21
asked Depth in acyclic graphs
Mar
3
asked Natural Decision Problem not in PTIME
Feb
13
comment Selecting a unique pair satisfying a condition $\varphi$ with an ordering
Okay, you're right. I tried to make this problem as general as possible. But it back-fired. $A$ is finite. Furthermore, we assume that there is always a pair which satisfies $\varphi$.
Feb
13
revised Selecting a unique pair satisfying a condition $\varphi$ with an ordering
Specialization
Feb
12
asked Selecting a unique pair satisfying a condition $\varphi$ with an ordering
Feb
7
accepted Transforming Nested Fixed-Point Formulas into Infinitary Logic Formulas with Finitely many Variables