Computer Science
Meta user
Network profile
366
reputation
2
9

Andrea Asperti

I am Professor of Computer Science at the University of Bologna

13
answers
0
questions
~9k
people reached
  • University of Bologna
  • cs.unibo.it/~asperti
  • Member for 2 years, 6 months
  • 57 profile views
  • Last seen May 30 at 8:54

Communities (6)

Top network posts

Top tags (15)

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

Top posts (13) All Questions Answers | Votes Newest

5 recursive language and computable function Feb 23 '17
4 Definition of an immune set Mar 12 '17
3 2D convolution: Flipping the kernel? Apr 30 '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 (11)

Gold

—

Silver

2

Rarest

Bronze

9

Rarest

View all badges →