Theoretical Computer Science
user avatar
user avatar
user avatar
user1868607
  • Member for 6 years, 8 months
  • Last seen this week
Profile Activity
Stats
749
reputation
3k
reached
0
answers
15
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
11
bronze badges
Top tags
View all tags
0
Score
4
Posts
27
Posts %
0
Score
4
Posts
27
Posts %
0
Score
3
Posts
20
Posts %
0
Score
2
Posts
13
Posts %
0
Score
2
Posts
13
Posts %
0
Score
2
Posts
13
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
14
Algebraic topology for termination proofs
Aug 1, 2018
question
7
Lee's algorithm for synthesis of ranking functions in size-change termination proofs
Aug 3, 2018
question
7
Cook inspiration for NP completeness
Oct 4, 2021
question
5
Categorical equivalent of higher order logic
Jul 31, 2020
question
5
Using ϵ -unification and Knuth-Bendix completion to automatically proof theorems about groups
Aug 23, 2017
question
5
On the interpretation of coinduction in type theory
Dec 22, 2019
question
4
Formalization of Interval Newton methods in a proof assistant or theorem prover
Oct 27, 2018
question
3
Proof and computational complexity
Apr 16, 2021
question
3
Metrics for modelling convergence in the lambda-calculus
Nov 12, 2019
question
2
Automata as term rewriting systems
Jan 17, 2019
Top network posts
View all network posts
29
What is a batch compiler?
22
Multiplication of a random variable with constant
19
How to demo Skype-decryption using FOSS tools?
12
Ruby protected visibility calling from superclass
11
Events in the tail $\sigma$-algebra

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.