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
542
views
2
3
votes
2
answers
402
views
1
1
vote
0
answers
107
views
1
1
vote
0
answers
112
views
2
0
votes
0
answers
86
views
1
0
votes
0
answers
72
views
1
0
votes
1
answer
219
views
1
0
votes
0
answers
156
views
1
0
votes
0
answers
96
views
1
0
votes
0
answers
81
views
|
3
|
Votes |
3 |
|
11
|
Tags |
|
6
|
Badges |
