1,055 reputation
420
bio website
location Aachen, Germany
age 25
visits member for 2 years, 8 months
seen 1 hour ago

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


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)}$
Nov
11
accepted Reaching elements with finite applications of the successor relation in well-ordered sets