Science-advisor
REGISTER info/FAQ
Login
username
password
     
forgot password?
register here
 
Research articles
  search articles
  reviews guidelines
  reviews
  articles index
My Pages
my alerts
  my messages
  my reviews
  my favorites
 
 
Stat
Members: 3645
Articles: 2'504'928
Articles rated: 2609

26 April 2024
 
  » search

 Search for articles, messages and online reviews


Search in 2'504'928 articles.
match all words (default)
match at least one of the words
match the exact phrase		 search in all fields
search in authors
search in journals

Results 1 to 6 of 6 for query "Benedetto Intrigila". (0.01 sec.)



1.
Addressing Machines as models of lambda-calculus
Giuseppe Della Penna; Benedetto Intrigila; Giulio Manzonetto;
1 Jul 2021
- - -
2.
Resource-Optimal Planning For An Autonomous Planetary Vehicle
Giuseppe Della Penna; Benedetto Intrigila; Daniele Magazzeni; Fabio Mercorio;
29 Jul 2010
- - -
3.
On some counting problems for semi-linear sets
Flavio D'Alessandro; Benedetto Intrigila; Stefano Varricchio;
17 Jul 2009
- - -
4.
The Omega Rule is mathbf{Pi_{1}^{1}}-Complete in the lambdaeta-Calculus
Benedetto Intrigila; Richard Statman;
8 Mar 2009
- - -
5.
The Parikh functions of sparse context-free languages are quasi-polynomials
Flavio D'Alessandro; Benedetto Intrigila; Stefano Varricchio;
4 Jul 2008
- - -
6.
Solution of a Problem of Barendregt on Sensible lambda-Theories
Benedetto Intrigila; Richard Statman;
14 Sep 2006
- - -






ScienXe.org
» my Online CV
» Free


News, job offers and information for researchers and scientists:
home  |  contact  |  terms of use  |  sitemap
Copyright © 2005-2024 - Scimetrica