Results from the 2022 Developer Survey are now available
Theoretical Computer Science
user avatar
user avatar
user avatar
Antonio E. Porreca
  • Member for 11 years, 10 months
  • Last seen this week
Profile Activity
Stats
581
reputation
201k
reached
6
answers
4
questions
Communities
About

I’m a maître de conférences (lecturer and researcher) in computer science.

Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
13
bronze badges
Top tags
View all tags
22
Score
2
Posts
20
Posts %
14
Score
4
Posts
40
Posts %
14
Score
3
Posts
30
Posts %
14
Score
3
Posts
30
Posts %
13
Score
3
Posts
30
Posts %
4
Score
1
Posts
10
Posts %
Top posts
All Questions Answers
Score Newest
answer
37
What papers should everyone read?
Sep 12, 2010
answer
13
Historical reasons for adoption of Turing Machine as primary model of computation.
Dec 8, 2010
answer
12
Why go to theoretical computer science/research?
Dec 2, 2010
question
10
Complexity of reachability in linear dynamical systems over finite fields
Sep 15, 2016
answer
9
Computable function $f = \Theta(g)$ with $g$ uncomputable
Sep 3, 2010
question
6
Oracle complexity classes and hardness under different notions of reduction
Mar 14, 2011
question
4
Characterisation of P in terms of register machines
Jun 23, 2016
answer
4
How to recognize safe queries in tuple relational calculus?
Dec 13, 2010
answer
1
Characterisation of P in terms of register machines
Jun 24, 2016
question
1
Efficient enumeration of connected functional digraphs (up to isomorphism)
2 days ago
Top network posts
View all network posts
15
Are there complexity classes with provably no complete problems?
14
Has there ever been a weaker Church-like thesis?
11
The best text to study both incompleteness theorems
10
What is the history of the Y-combinator?
9
post correspondence problem

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.