The SCEAS System
Navigation Menu

Search the dblp DataBase


Alessandro Berarducci: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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
    Delta0-Complexity of the Relation y = \prodi <= 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]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002