Theoretical Computer Science
TomKern's user avatar
TomKern's user avatar
TomKern's user avatar
TomKern
  • Member for 10 months
  • Last seen more than a month ago
Profile Activity
Stats
279
reputation
572
reached
1
answer
4
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
3
bronze badges
Top tags
View all tags
6
Score
3
Posts
60
Posts %
6
Score
1
Posts
20
Posts %
6
Score
1
Posts
20
Posts %
0
Score
2
Posts
40
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
Top posts
All Questions Answers
Score Newest
answer
6
Turing Machines and Logic
Mar 11
question
5
Logical Equivalents of Finite State Transducers
Apr 29
question
4
Equivalent Characterizations of Semilinear Sets
Mar 11
question
2
Are MSO formulae on graphs expressible with bounded quantifier alternation?
Jul 11
question
0
Languages for specifying AST transformations with arbitrary arity
Jan 7
Top network posts
View all network posts
39
Students confusing "object types" in introductory proofs class
35
What should be memorized in math and what should be reference table?
28
Why is a Calculus III student more likely to solve this problem?
27
What is the justification to teach the (redundant) use of parentheses in multiplications?
19
What are some examples of great functions that are not too elementary (easy)?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.