User Bartosz Bednarczyk - Theoretical Computer Science Meta Stack Exchange

Bartosz Bednarczyk

Member for 8 years, 4 months
Last seen more than a month ago

bartoszjanbednarczyk.github.i…
Wrocław, Polska

Stats

1,320

reputation

0

reached

0

answers

0

questions

Loading…

Communities

About

PhD student at TU Dresden & University of Wrocław.

Badges

View all badges

This user doesn’t have any gold badges yet.

6

silver badges

Yearling

× 6

Oct 20

1

bronze badge

Autobiographer

Apr 8, 2018

Posts

This user hasn’t posted yet.

Top network posts

View all network posts

27

Is Descriptive Complexity dead?

11

Existing implementation of Scott's reduction?

9

Decidability of diophantine equations over {=, +, gcd}

8

Complexity of modal logic IK5

7

For a given binary-search tree obtain an isomorphic splay tree