Theoretical Computer Science
Kai's user avatar
Kai's user avatar
Kai's user avatar
Kai
  • Member for 12 years, 10 months
  • Last seen this week
Profile Activity
Stats
845
reputation
11k
reached
18
answers
0
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
6
silver badges
12
bronze badges
Top tags
View all tags
22
Score
3
Posts
17
Posts %
18
Score
3
Posts
17
Posts %
18
Score
3
Posts
17
Posts %
12
Score
3
Posts
17
Posts %
12
Score
2
Posts
11
Posts %
11
Score
3
Posts
17
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
10
Reasoning about non-deterministically terminating loops
Jul 14, 2011
answer
9
Applications of metric structures on posets/lattices in theoryCS
Feb 3, 2011
answer
6
Sufficient conditions to guarantee unique fixpoint (not unique least/greatest fixpoint) for monotone functions on complete lattice
Apr 1, 2012
answer
6
How to auto-derivate sequential iterative programs from a mathematical specification?
Nov 14, 2012
answer
5
What is the theoretical basis of imperative programming?
Feb 28, 2012
answer
5
Decide if a given sequence is regular or context-free
Apr 4, 2012
answer
4
How hard is it to reduce termination to partial correctness?
Feb 2, 2011
answer
4
Are there "small" machines which can efficiently match regular expressions?
Feb 6, 2011
answer
3
Applications of metric structures on posets/lattices in theoryCS
Feb 5, 2011
answer
3
Are both safety and liveness properties closed under finite intersection?
Apr 14, 2019
Top network posts
View all network posts
11
As a Teacher: Choosing a suitable programming language
7
Are 2 independent PDAs equivalent to a turing machine?
5
Write Serialization for Cache Coherence in the presence of Store Buffers

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.