Skip to main content
Theoretical Computer Science
user1868607's user avatar
user1868607's user avatar
user1868607's user avatar
user1868607
  • Member for 8 years, 8 months
  • Last seen this week
Profile Activity
Stats
1,049
reputation
6k
reached
0
answers
24
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
5
silver badges
16
bronze badges
Top tags
View all tags
0
Score
9
Posts
38
Posts %
0
Score
6
Posts
25
Posts %
0
Score
5
Posts
21
Posts %
0
Score
5
Posts
21
Posts %
0
Score
5
Posts
21
Posts %
0
Score
3
Posts
12
Posts %
Top posts
View all questions and answers
14
Algebraic topology for termination proofs
Aug 1, 2018
8
Cook inspiration for NP completeness
Oct 4, 2021
7
Lee's algorithm for synthesis of ranking functions in size-change termination proofs
Aug 3, 2018
5
Using ϵ -unification and Knuth-Bendix completion to automatically proof theorems about groups
Aug 23, 2017
5
Categorical equivalent of higher order logic
Jul 31, 2020
5
Shortest path with affine updates and fixed dimension
Feb 13
3
Intersection non-emptiness problem over regular expressions and NFA
Oct 24, 2022
3
Encoding of finite automata in Intersection Non-Emptiness problem
Jan 3, 2023
3
Complexity of determining whether the language of an P machine is empty
Feb 1
3
Proof and computational complexity
Apr 16, 2021
Top network posts
View all network posts
29
What is a batch compiler?
23
Multiplication of a random variable with constant
19
How to demo Skype-decryption using FOSS tools?
12
What is known about ideal and divisibility lattices of GCD domains and their generalizations?
12
Ruby protected visibility calling from superclass