Computer Science
user avatar
user avatar
user avatar
Andrea Asperti
  • Member for 5 years, 6 months
  • Last seen more than a week ago
Profile Activity
Stats
476
reputation
23k
reached
13
answers
0
questions
Communities
View all
About

I am Professor of Computer Science at the University of Bologna

Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
10
bronze badges
Top tags
View all tags
17
Score
10
Posts
77
Posts %
11
Score
1
Posts
8
Posts %
8
Score
6
Posts
46
Posts %
7
Score
4
Posts
31
Posts %
5
Score
1
Posts
8
Posts %
4
Score
1
Posts
8
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
11
2D convolution: Flipping the kernel?
Apr 30, 2017
answer
5
Definition of an immune set
Mar 12, 2017
answer
5
recursive language and computable function
Feb 23, 2017
answer
4
What is a 'subrecursive algorithm'?
Feb 18, 2017
answer
2
Showing $1$-reducibility of $\overline{\text{HALT}'}$ to index set
Apr 18, 2017
answer
2
Implications of Rice's theorem
Feb 23, 2017
answer
1
The content of an implication from the snm-Theorem
Mar 6, 2017
answer
1
Is the Rice Theorem applicable for these problems?
Mar 11, 2017
answer
1
Function is recursive iff its graph is recursively enumerable
Feb 19, 2017
answer
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, 2017
Top network posts
View all network posts
20
Is it possible to evaluate lambda calculus terms efficiently?
14
Formal semantics of OCaml in Coq
11
Can a Turing machine perform Quicksort?
9
Understanding between lambda-calculus and other abstract machines (like Turing machine and Markov algorithm)
9
About the origin of the names "immune" and "simple"

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.