Skip to main content
Theoretical Computer Science
Bartosz Bednarczyk's user avatar
Bartosz Bednarczyk's user avatar
Bartosz Bednarczyk's user avatar
Bartosz Bednarczyk
  • Member for 10 years, 8 months
  • Last seen this week
Profile Activity

Stats

1,514
reputation
19k
reached
22
answers
10
questions
Communities
View all

About

Assistant Professor at the University of Wrocław and postdoc at TU Wien.

Badges

View all badges
1
gold badge
13
silver badges
20
bronze badges

Top tags

View all tags
39
Score
3
Posts
9
Posts %
33
Score
9
Posts
28
Posts %
27
Score
7
Posts
22
Posts %
12
Score
4
Posts
12
Posts %
11
Score
4
Posts
12
Posts %
10
Score
4
Posts
12
Posts %

Top posts

View all questions and answers
34
Is Descriptive Complexity dead?
Nov 27, 2020
14
Why isn't TheoretiCS very popular yet?
Dec 30, 2023
11
The complexity of conversion from a regular expression to a nondeterminsitic automata and back after changing initial and final states
Dec 17, 2023
11
Existing implementation of Scott's reduction?
Jul 30, 2020
10
Decidability of diophantine equations over {=, +, gcd}
Dec 27, 2020
8
Complexity of modal logic IK5
Feb 2, 2018
7
Uniform mortality problem for Turing Machines
Apr 25, 2019
7
For a given binary-search tree obtain an isomorphic splay tree
Aug 28, 2016
7
Are regular expressions polynomially decomposable?
Dec 17, 2023
7
How to show that a problem is in $\Pi_1^1$?
Oct 20, 2023

Top network posts

View all network posts
7
Failure of Łoś-Tarski preservation theorem for some equality-free logic