Results from the 2022 Developer Survey are now available
Theoretical Computer Science
user avatar
user avatar
user avatar
user
  • Member for 9 years, 3 months
  • Last seen more than 1 year ago
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
9
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
14
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
146
How do I use a macro across module files?
64
Why can't this higher kinded lifetime associated type trait bound be satisfied?
26
/dev/hidraw: read permissions
16
How to ask about the 'halting problem' on StackOverflow, regarding the title filter
16
/dev/hidraw: read permissions

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.