Computer Science
zell's user avatar
zell's user avatar
zell's user avatar
zell
  • Member for 11 years, 6 months
  • Last seen more than a month ago
Profile Activity
Stats
374
reputation
7k
reached
0
answers
5
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
10
bronze badges
Top tags
View all tags
0
Score
2
Posts
40
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
Top posts
All Questions Answers
Score Newest
question
12
How to convert an NFA with overlapping cycles into a regular expression?
Mar 23, 2012
question
5
Does spanning tree make sense for DAG?
Mar 30, 2012
question
5
Hoare triple for assignment P{x/E} x:=E {P}
May 16, 2012
question
3
Algorithm that hashes a collection of sets following their disjointness relation
Sep 9, 2012
question
1
Not understanding this way of proving undecidability of the termination problem
Sep 6, 2020
Top network posts
View all network posts
85
Git's local repository and remote repository -- confusing concepts
75
Difference between JVM's LookupSwitch and TableSwitch?
67
Understanding the simplest LLVM IR
21
Find the definition and notations like ++ in Coq
20
Terminate a Python multiprocessing program once a one of its workers meets a certain condition

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.