Computer Science
Andrea Asperti
  • Member for 4 years, 11 months
  • Last seen more than a month ago
Profile Activity
Stats
426
reputation
20k
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
9
bronze badges
Top tags
View all tags
15
Score
10
Posts
77
Posts %
9
Score
1
Posts
8
Posts %
7
Score
4
Posts
31
Posts %
6
Score
6
Posts
46
Posts %
5
Score
1
Posts
8
Posts %
3
Score
3
Posts
23
Posts %
Top posts
View all questions and answers
All Questions Answers
Votes Newest
9
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
Top network posts
View all network posts
18
Is it possible to evaluate lambda calculus terms efficiently?
14
Formal semantics of OCaml in Coq
10
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.