Computer Science – Discrete Mathematics
Scientist
Computer Science
Discrete Mathematics
Scientist
University of Rome, Italy and
On some counting problems for semi-linear sets
Resource-Optimal Planning For An Autonomous Planetary Vehicle
Solution of a Problem of Barendregt on Sensible lambda-Theories
The Omega Rule is $\mathbf{Π_{1}^{1}}$-Complete in the $λβ$-Calculus
The Parikh functions of sparse context-free languages are quasi-polynomials
No associations
LandOfFree
Benedetto Intrigila does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Benedetto Intrigila, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Benedetto Intrigila will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-157175