1,057 reputation
421
bio website
location Aachen, Germany
age 25
visits member for 2 years, 9 months
seen yesterday

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


Jul
28
accepted Clever Substitution Notation for Logic Formulae
Jul
11
accepted Is infinitary logics $\mathcal{L}_{\infty\omega}$ an abstract logic?
Jun
15
accepted Notation for Model-Relation of formulae with free variables
May
28
accepted Homomorphical Equivalence is NP-complete
May
9
accepted Reusing Variables First Order Logics
Mar
21
accepted Natural Decision Problem not in PTIME
Feb
7
accepted Transforming Nested Fixed-Point Formulas into Infinitary Logic Formulas with Finitely many Variables
Dec
3
accepted How much topology for graph theory?
Nov
22
accepted Generated equivalence relations in logics
Aug
8
accepted Integral Polyhedra: Integer on each face
Jun
25
accepted Generlized Büchi Games and Closed under superset Muller Games
Jun
9
accepted Constraint satisfaction problem - Arc consistency
May
5
accepted Infinite Chomp is a finite game?
Mar
18
accepted Non-isomorphic structures with equal cardinality
Mar
8
accepted Different formulation of a Traveling Salesman Problem
Feb
4
accepted Warehouse Location Problem as an integer progam instead of a mixed-integer program
Jan
14
accepted All classes of finite structures are axiomatizable in $L_{\infty\omega}$
Jan
13
accepted Expressing “uncountable” in $L_{\omega_1\omega}$
Jan
13
accepted Class of structures isomorphic to $(\mathbb{Z},<)$ in infinitary logic $L_{\omega_1 \omega}$
Jan
12
accepted Using the notation $m^{O(1)}$