Computer Science
Meta user
Network profile
396
reputation
3
9

Andrea Asperti

I am Professor of Computer Science at the University of Bologna

13
answers
0
questions
~12k
people reached
  • University of Bologna
  • cs.unibo.it/~asperti
  • Member for 3 years
  • 66 profile views
  • Last seen Jan 21 at 10:29

Communities (6)

Top network posts

Top tags (15)

Score 15
Posts 10
Posts % 77
Score 7
Posts 4
Score 6
Posts 6
Score 6
Posts 1
Score 5
Posts 1
Score 3
Posts 3
View all tags →

Top posts (13) All Questions Answers | Votes Newest

6 2D convolution: Flipping the kernel? Apr 30 '17
5 recursive language and computable function Feb 23 '17
4 Definition of an immune set Mar 12 '17
3 What is a 'subrecursive algorithm'? Feb 18 '17
2 Showing $1$-reducibility of $\overline{\text{HALT}'}$ to index set Apr 18 '17
2 Implications of Rice's theorem Feb 23 '17
1 Is the Rice Theorem applicable for these problems? Mar 11 '17
1 The content of an implication from the snm-Theorem Mar 6 '17
1 Suppose $L_1, L_2, …, L_k$ are recursively enumerable languages forming a partition of $\Sigma^*$. How do I show that each $L_i$ are recursive? Feb 19 '17
0 Is the set of programs that compute some function other than $h$ recursively enumerable? Feb 19 '17
View all questions and answers →

Badges (12)

Gold

—

Silver

3

Rarest

Bronze

9

Rarest

View all badges →