11

Questions
votes newest views recent
1
0
votes
0
answers
63
views

Schönhage’s SMM with only one instruction

may 7 at 8:50 Anton Salikhmetov 61●6

2
3
votes
2
answers
383
views

Turing-complete primitive blind automata

may 6 at 15:22 Anton Salikhmetov 61●6

1
0
votes
1
answer
215
views

Universality of blind graph rewriting

may 6 at 15:21 Anton Salikhmetov 61●6

2
0
votes
0
answers
84
views

Behavior of a one-point-changing operation on functions

apr 22 at 13:27 Anton Salikhmetov 61●6

1
1
vote
0
answers
107
views

Hypothesis: interaction-based model for maximum consistent theories

apr 9 at 11:32 Anton Salikhmetov 61●6

1
1
vote
0
answers
73
views

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

apr 9 at 7:15 Anton Salikhmetov 61●6

1
0
votes
0
answers
37
views

Optimal Reduction in Interaction Calculus

apr 7 at 15:03 Anton Salikhmetov 61●6

1
0
votes
0
answers
74
views

Turing-complete primitive interaction systems

mar 26 at 13:22 Anton Salikhmetov 61●6

3
3
votes
1
answer
535
views

Algebraic structure generated by primitive graph operations

jan 12 at 16:00 Bilal Khan 1

1
0
votes
0
answers
95
views

Looking for counterexamples to optimality by Levy

oct 17 at 21:40 Anton Salikhmetov 61●6

1 2 next