Skip to main content
Theoretical Computer Science
user's user avatar
user's user avatar
user's user avatar
user
  • Member for 11 years, 9 months
  • Last seen more than 3 years ago
Profile Activity
Stats
615
reputation
5k
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
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
224
How do I use a macro across module files?
64
Why can't this higher kinded lifetime associated type trait bound be satisfied?
34
/dev/hidraw: read permissions
20
/dev/hidraw: read permissions
20
How to use the Fn traits (closures) in Rust function signatures?