Reputation

459

Top tag

computability

500 Rep.

Access review queues

Yearling

0/1

0 posts edited

0 helpful flags

6 votes cast

9	Relationship of algorithm complexity and automata class
7	primitive recursive functional equivalence
5	Decidability of dependent typing on primitive recursive languages
4	Maximal class for which function equivalence is decidable
2	primitive recursion in the lambda calculus

View more →

This user has no recent positive reputation changes

View more →

3	Is it computationally possible to voice-recognize and word-tag-time-align audiobooks to their actual text?
2	Is the memory usage of total languages deterministic?
1	What is extra thread for idle time
0	Recognizing primitive recursion

View more →

This user has no bookmarked questions.

Computer Science	459 rep	2 silver badges9 bronze badges
Stack Overflow	385 rep	2 silver badges9 bronze badges
Theoretical Computer Science	101 rep
TeX - LaTeX	101 rep