Theoretical Computer Science
gsv's user avatar
gsv's user avatar
gsv's user avatar
gsv
  • Member for 8 years, 4 months
  • Last seen more than a week ago
Profile Activity
Stats
421
reputation
2k
reached
2
answers
5
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
6
bronze badges
Top tags
View all tags
5
Score
3
Posts
43
Posts %
3
Score
3
Posts
43
Posts %
3
Score
2
Posts
29
Posts %
2
Score
1
Posts
14
Posts %
2
Score
1
Posts
14
Posts %
0
Score
3
Posts
43
Posts %
Top posts
All Questions Answers
Score Newest
question
13
Planarity of planar finite automata intersection
Aug 15, 2020
question
6
Updating (minimal) DFA incrementally
Nov 15
question
4
Dynamic matrix-matrix multiplication
Jul 22, 2020
question
3
Dynamic transitive closure with immediate new reachability facts
Jan 8, 2021
answer
3
Continuous mathematics and formal language theory
Jan 14, 2019
answer
2
Reducing the Height of Context-Free Grammars
Jul 22, 2020
question
0
Example of R and G when $R \subseteq L(G)$ is undecidable [closed]
Aug 11, 2015
Top network posts
View all network posts
5
Constant propagation library for .NET

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.