Theoretical Computer Science
user's user avatar
user's user avatar
user's user avatar
user
  • Member for 10 years, 8 months
  • Last seen more than 2 years ago
Profile Activity
Stats
615
reputation
4k
reached
0
answers
9
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
10
bronze badges
Top tags
View all tags
0
Score
2
Posts
22
Posts %
0
Score
1
Posts
11
Posts %
0
Score
1
Posts
11
Posts %
0
Score
1
Posts
11
Posts %
0
Score
1
Posts
11
Posts %
0
Score
1
Posts
11
Posts %
Top posts
All Questions Answers
Score Newest
question
15
Is MLTT effectively pCiC without Prop?
Jul 24, 2015
question
8
Weakly normalizing + confluent = strongly normalizing?
May 11, 2015
question
7
Program equivalence wherein the programs are known to always halt
Dec 8, 2017
question
5
What is a 'free model'?
Apr 23, 2018
question
5
If I naively generalize the homeomorphic embedding relation for labeled finite trees in this way, do I still have a wqo?
Jul 7, 2018
question
5
Parse structure of a range concatenation grammar (RCG)
Aug 10, 2015
question
3
Difference between abstract machines and calculi
Jan 8, 2014
question
2
BSP, but with curved surfaces (NURBS? kernelized support vectors?)
Apr 14, 2014
question
0
Difference between 'string relations' and 'tree relations' w.r.t. synchronous CFGs
Oct 16, 2015
Top network posts
View all network posts
195
How do I use a macro across module files?
64
Why can't this higher kinded lifetime associated type trait bound be satisfied?
30
/dev/hidraw: read permissions
19
/dev/hidraw: read permissions
18
How to use the Fn traits (closures) in Rust function signatures?

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.