Theoretical Computer Science
user76284's user avatar
user76284's user avatar
user76284's user avatar
user76284
  • Member for 8 years, 6 months
  • Last seen more than a month ago
Profile Activity
Stats
652
reputation
3k
reached
3
answers
7
questions
Communities
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
14
bronze badges
Top tags
View all tags
5
Score
2
Posts
20
Posts %
4
Score
5
Posts
50
Posts %
4
Score
1
Posts
10
Posts %
1
Score
2
Posts
20
Posts %
1
Score
1
Posts
10
Posts %
0
Score
4
Posts
40
Posts %
Top posts
All Questions Answers
Score Newest
question
20
Smallest possible universal combinator
Jul 1, 2015
question
10
Is 4-in-a-row PSPACE-complete?
Apr 10, 2020
question
6
Small universal monotone Turing machines
Aug 7, 2017
question
4
Enumerating all simply typed lambda terms of a given type
Aug 22, 2016
question
4
Is this variant of bitwise cyclic tag Turing-complete?
Feb 8, 2021
answer
4
Reversible Turing tarpits?
Jan 20, 2021
question
3
Strongly polynomial time algorithm for shortest convex combination
Oct 20, 2022
question
2
Statements equivalent to strongly polynomial time linear programming
Oct 27, 2022
answer
1
Which model of computation is "the best"?
May 3, 2018
answer
0
Defining primitive recursive functions over general data types
Nov 15, 2016

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.