User Anton Salikhmetov - MathOverflow

Anton Salikhmetov

Member for 12 years
Last seen more than 4 years ago

Twitter
GitHub
Vantaa, Finland

15 Questions

Score Activity Newest Views

7 votes

2 answers

907 views

Optimal Talmudic Zigzag

asked Apr 3, 2018 at 12:51

4 votes

1 answer

964 views

Algebraic structure generated by primitive graph operations

asked Apr 10, 2012 at 8:41

4 votes

0 answers

257 views

Is it possible to implement η-reduction in interaction nets?

asked Apr 9, 2013 at 7:15

3 votes

2 answers

785 views

Turing-complete primitive blind automata

asked Mar 15, 2013 at 10:57

3 votes

0 answers

254 views

Upward confluence in the interaction calculus

asked Jun 17, 2018 at 23:29

3 votes

1 answer

398 views

Shelves with "trichotomy"

asked Apr 17, 2019 at 10:18

3 votes

1 answer

239 views

Racks with "trichotomy"

asked Apr 19, 2019 at 5:11

2 votes

0 answers

145 views

Turing-complete primitive interaction systems

asked Mar 26, 2013 at 13:22

2 votes

1 answer

284 views

Universality of blind graph rewriting

asked Apr 16, 2012 at 21:05

1 vote

1 answer

218 views

Hypothesis: interaction-based model for λKβη

asked Apr 9, 2013 at 11:14

1 vote

0 answers

109 views

Schönhage's SMM with only one instruction

asked May 7, 2013 at 3:31

1 vote

1 answer

167 views

Interaction-based approximation for HP-complete λ-theory?

asked Jun 26, 2013 at 17:56

1 vote

0 answers

114 views

Optimal reduction using token-passing nets

asked Sep 17, 2015 at 16:41

1 vote

0 answers

66 views

Posets with two partial (self-)distributive operations

asked Jul 7, 2019 at 8:24

0 votes

1 answer

132 views

Confluent partial orders

asked Apr 23, 2019 at 14:56