Bartosz Bednarczyk

Member for 8 years, 4 months
Last seen this week

bartoszjanbednarczyk.github.i…
Wrocław, Polska

Summary

Reputation

1,330

1.3k
838
347

2020
2021
2022
2023

Top tag

first-order-logic

Next privilege

2,000 Rep.

Edit posts

Badges

1

12

17

Newest

Yearling

Next badge

80/80

Deputy

Answers

View all 18 answers

Score Activity Newest

28

Is Descriptive Complexity dead?

Nov 27, 2020

11

Existing implementation of Scott's reduction?

Jul 30, 2020

9

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

Dec 27, 2020

5

How to show that a problem is in $\Pi_1^1$?

Oct 20

5

Deciding finiteness of regular language is NL-complete?

Nov 2

Questions

View all 6 questions

Score Activity Newest Views

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

6

What is the impact of encodings of sparse structures on the complexity of the model checking problem?

Aug 10, 2021

5

Reference request: An algebraic characterisation of LTL[XF]-definable word languages

May 24, 2021

Tags

View all 36 tags

first-order-logic

33

Score

9

posts

cc.complexity-theory

32

Score

3

posts

descriptive-complexity

27

Score

1

post

lo.logic

22

Score

6

posts

fl.formal-languages

12

Score

4

posts

Reputation

+20

Is Descriptive Complexity dead?

+10

Database repository containing queries

+65

Deciding finiteness of regular language is NL-complete?

+10

How to show that a problem is in $\Pi_1^1$?

Badges

View all badges

1

gold badge

Fanatic

Jul 22, 2021

12

silver badges

Deputy

Apr 12, 2022
Civic Duty

Aug 14, 2021
Enthusiast

May 29, 2020

17

bronze badges

Benefactor

Aug 14, 2021
Disciplined

May 15, 2018
Promoter

Aug 22, 2020

Accounts

View all 7 accounts

Theoretical Computer Science

1,330
1
12
17

207
1
6

113
5

Computer Science

103
6

101
1

Active bounties (0)

Active Offered Earned

This user has no active bounties

Votes cast

132

upvotes

333

downvotes

379

question votes

86

answer votes