Theoretical Computer Science
user
  • Member for 8 years, 7 months
Profile Activity
Stats
605
reputation
3k
reached
0
answers
9
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
8
bronze badges
Top tags
View all 15 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
Votes Newest
14
Is MLTT effectively pCiC without Prop?
Jul 24 '15
8
Weakly normalizing + confluent = strongly normalizing?
May 11 '15
7
Program equivalence wherein the programs are known to always halt
Dec 8 '17
5
What is a 'free model'?
Apr 23 '18
5
If I naively generalize the homeomorphic embedding relation for labeled finite trees in this way, do I still have a wqo?
Jul 7 '18
5
Parse structure of a range concatenation grammar (RCG)
Aug 10 '15
3
Difference between abstract machines and calculi
Jan 8 '14
2
BSP, but with curved surfaces (NURBS? kernelized support vectors?)
Apr 14 '14
0
Difference between 'string relations' and 'tree relations' w.r.t. synchronous CFGs
Oct 16 '15
Top network posts
View all
130
How do I use a macro across module files?
45
Why can't this higher kinded lifetime associated type trait bound be satisfied?
22
/dev/hidraw: read permissions
16
How to ask about the 'halting problem' on StackOverflow, regarding the title filter
15
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.