Skip to main content
MathOverflow
Anton Salikhmetov's user avatar
Anton Salikhmetov's user avatar
Anton Salikhmetov's user avatar
Anton Salikhmetov
  • Member for 12 years, 8 months
  • Last seen more than 5 years ago
Profile Activity
Stats
427
reputation
5k
reached
5
answers
15
questions
Communities
About

Virtually existent

Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
13
bronze badges
Top tags
View all tags
2
Score
14
Posts
70
Posts %
2
Score
14
Posts
70
Posts %
2
Score
7
Posts
35
Posts %
2
Score
6
Posts
30
Posts %
0
Score
6
Posts
30
Posts %
0
Score
6
Posts
30
Posts %
Top posts
View all questions and answers
question
7
Optimal Talmudic Zigzag
Apr 3, 2018
question
4
Algebraic structure generated by primitive graph operations
Apr 10, 2012
question
3
Turing-complete primitive blind automata
Mar 15, 2013
question
3
Is it possible to implement η-reduction in interaction nets?
Apr 9, 2013
question
3
Upward confluence in the interaction calculus
Jun 17, 2018
question
3
Shelves with "trichotomy"
Apr 17, 2019
question
3
Racks with "trichotomy"
Apr 19, 2019
question
2
Universality of blind graph rewriting
Apr 16, 2012
question
2
Turing-complete primitive interaction systems
Mar 26, 2013
answer
2
Universality of blind graph rewriting
May 6, 2013
Top network posts
View all network posts
5
Upward confluence in the interaction calculus