Search the dblp DataBase

Publications of Author

1. Alessandro Berarducci, Corrado Böhm
   A Self-Interpreter of Lambda Calculus Having a Normal Form. [Citation Graph (0, 0)][DBLP]
   CSL, 1992, pp:85-99 [Conf]
   
2. Alessandro Berarducci, Corrado Böhm
   General Recursion on Second Order Term Algebras. [Citation Graph (0, 0)][DBLP]
   RTA, 2001, pp:15-30 [Conf]
   
3. Alessandro Berarducci, Paola D'Aquino
   Delta₀-Complexity of the Relation y = \prod_{i <= n} F(i). [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1995, v:75, n:1-2, pp:49-56 [Journal]
   
4. Alessandro Berarducci, Benedetto Intrigila
   Combinatorial Principles in Elementary Number Theory. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1991, v:55, n:1, pp:35-50 [Journal]
   
5. Alessandro Berarducci, Margarita Otero
   Intersection theory for 0-minimal manifolds. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2001, v:107, n:1-3, pp:87-119 [Journal]
   
6. Alessandro Berarducci, Margarita Otero, Ya'acov Peterzil, Anand Pillay
   A descending chain condition for groups definable in o-minimal structures. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2005, v:134, n:2-3, pp:303-313 [Journal]
   
7. Alessandro Berarducci, Tamara Servi
   An effective version of Wilkie's theorem of the complement and some effective o-minimality results. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2004, v:125, n:1-3, pp:43-74 [Journal]
   
8. Alessandro Berarducci, Rineke Verbrugge
   On the Provability Logic of Bounded Arithmetic. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1993, v:61, n:1-2, pp:75-93 [Journal]
   
9. Alessandro Berarducci, Marisa Venturini Zilli
   Generalizations of Unification. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1993, v:16, n:5, pp:479-491 [Journal]
   
10. Alessandro Berarducci
    The Interpretability Logic of Peano Arithmetic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1990, v:55, n:3, pp:1059-1089 [Journal]
    
11. Alessandro Berarducci, Margarita Otero
    Transfer methods for o-minimal topology. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2003, v:68, n:3, pp:785-794 [Journal]
    
12. Alessandro Berarducci, Margarita Otero
    A Recursive Nonstandard Model of Normal Open Induction. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1996, v:61, n:4, pp:1228-1241 [Journal]
    
13. Alessandro Berarducci, Mariangiola Dezani-Ciancaglini
    Infinite lambda-Calculus and Types. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:212, n:1-2, pp:29-75 [Journal]
    
14. Alessandro Berarducci, Benedetto Intrigila
    Some New Results on Easy lambda-Terms. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:121, n:1&2, pp:71-88 [Journal]
    
15. Corrado Böhm, Alessandro Berarducci
    Automatic Synthesis of Typed Lambda-Programs on Term Algebras. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1985, v:39, n:, pp:135-154 [Journal]