Anton Salikhmetov
|
Registered User
|
I am a software engineer with deep knowledge of IEEE 1003.1 in both formal and practical aspects, currently researching the simplest automata for optimal reduction of lambda expressions.
|
| 11 |
Questions |
3
3
votes
1
answer
536
views
2
3
votes
2
answers
385
views
1
1
vote
0
answers
77
views
1
1
vote
0
answers
108
views
2
0
votes
0
answers
85
views
1
0
votes
0
answers
65
views
1
0
votes
1
answer
217
views
1
0
votes
0
answers
130
views
1
0
votes
0
answers
95
views
1
0
votes
0
answers
76
views
|
3
|
Votes |
3 |
|
11
|
Tags |
|
6
|
Badges |
