Theoretical Computer Science
Chan Li's user avatar
Chan Li's user avatar
Chan Li's user avatar
Chan Li
  • Member for 13 years
  • Last seen more than 12 years ago
Profile Activity
Stats
241
reputation
149k
reached
3
answers
1
question
Communities
Badges
This user doesn’t have any gold badges yet.
2
silver badges
7
bronze badges
Top tags
View all tags
7
Score
2
Posts
50
Posts %
7
Score
2
Posts
50
Posts %
7
Score
1
Posts
25
Posts %
7
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
Top posts
All Questions Answers
Score Newest
answer
20
What Books Should Everyone Read?
Dec 13, 2010
answer
7
Formal Semantics of Programming Languages
Dec 9, 2010
question
6
What's the difference between an invariant and an "inductive" invariant?
Nov 25, 2010
answer
0
Ideas for a project in Mathematica related to (Theoretical) Computer Science
Dec 15, 2010
Top network posts
View all network posts
13
Avoiding vertical spaces between bibitems while using IEEEtran
7
Avoiding newline after "Table" in caption while using IEEETran

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.