BibTeX records: Alessandro Berarducci

download as .bib file

@article{DBLP:journals/aml/BerarducciMM24,
  author       = {Alessandro Berarducci and
                  Marcello Mamino and
                  Rosario Mennuni},
  title        = {Vector spaces with a union of independent subspaces},
  journal      = {Arch. Math. Log.},
  volume       = {63},
  number       = {3-4},
  pages        = {499--507},
  year         = {2024},
  url          = {https://doi.org/10.1007/s00153-024-00906-9},
  doi          = {10.1007/S00153-024-00906-9},
  timestamp    = {Sat, 04 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/BerarducciMM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/BerarducciM22,
  author       = {Alessandro Berarducci and
                  Marcello Mamino},
  title        = {Asymptotic Analysis of Skolem's exponential Functions},
  journal      = {J. Symb. Log.},
  volume       = {87},
  number       = {2},
  pages        = {758--782},
  year         = {2022},
  url          = {https://doi.org/10.1017/jsl.2020.26},
  doi          = {10.1017/JSL.2020.26},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/BerarducciM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlms/BaroBO19,
  author       = {El{\'{\i}}as Baro and
                  Alessandro Berarducci and
                  Margarita Otero},
  title        = {Cartan subgroups and regular points of o-minimal groups},
  journal      = {J. Lond. Math. Soc.},
  volume       = {100},
  number       = {2},
  pages        = {361--382},
  year         = {2019},
  url          = {https://doi.org/10.1112/jlms.12216},
  doi          = {10.1112/JLMS.12216},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlms/BaroBO19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlms/BerarducciM11,
  author       = {Alessandro Berarducci and
                  Marcello Mamino},
  title        = {On the homotopy type of definable groups in an o-minimal structure},
  journal      = {J. Lond. Math. Soc.},
  volume       = {83},
  number       = {3},
  pages        = {563--586},
  year         = {2011},
  url          = {https://doi.org/10.1112/jlms/jdq080},
  doi          = {10.1112/JLMS/JDQ080},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlms/BerarducciM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jml/BerarducciF09,
  author       = {Alessandro Berarducci and
                  Antongiulio Fornasiero},
  title        = {O-Minimal Cohomology: Finiteness and invariance Results},
  journal      = {J. Math. Log.},
  volume       = {9},
  number       = {2},
  year         = {2009},
  url          = {https://doi.org/10.1142/S0219061309000859},
  doi          = {10.1142/S0219061309000859},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jml/BerarducciF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Berarducci09,
  author       = {Alessandro Berarducci},
  title        = {Cohomology of groups in o-minimal structures: acyclicity of the infinitesimal
                  subgroup},
  journal      = {J. Symb. Log.},
  volume       = {74},
  number       = {3},
  pages        = {891--900},
  year         = {2009},
  url          = {https://doi.org/10.2178/jsl/1245158089},
  doi          = {10.2178/JSL/1245158089},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/Berarducci09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/BerarducciEO07,
  author       = {Alessandro Berarducci and
                  M{\'{a}}rio J. Edmundo and
                  Margarita Otero},
  title        = {Corrigendum to: "Transfer methods for o-minimal topology"},
  journal      = {J. Symb. Log.},
  volume       = {72},
  number       = {3},
  pages        = {1079--1080},
  year         = {2007},
  url          = {https://doi.org/10.2178/jsl/1191333858},
  doi          = {10.2178/JSL/1191333858},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/BerarducciEO07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Berarducci07,
  author       = {Alessandro Berarducci},
  title        = {O-minimal spectra, infinitesimal subgroups and cohomology},
  journal      = {J. Symb. Log.},
  volume       = {72},
  number       = {4},
  pages        = {1177--1193},
  year         = {2007},
  url          = {https://doi.org/10.2178/jsl/1203350779},
  doi          = {10.2178/JSL/1203350779},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/Berarducci07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/BerarducciOPP05,
  author       = {Alessandro Berarducci and
                  Margarita Otero and
                  Ya'acov Peterzil and
                  Anand Pillay},
  title        = {A descending chain condition for groups definable in \emph{o}-minimal
                  structures},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {134},
  number       = {2-3},
  pages        = {303--313},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.apal.2005.01.002},
  doi          = {10.1016/J.APAL.2005.01.002},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/BerarducciOPP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/BerarducciS04,
  author       = {Alessandro Berarducci and
                  Tamara Servi},
  title        = {An effective version of Wilkie's theorem of the complement and some
                  effective o-minimality results},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {125},
  number       = {1-3},
  pages        = {43--74},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.apal.2003.08.001},
  doi          = {10.1016/J.APAL.2003.08.001},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/BerarducciS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/BerarducciO03,
  author       = {Alessandro Berarducci and
                  Margarita Otero},
  title        = {Transfer methods for o-minimal topology},
  journal      = {J. Symb. Log.},
  volume       = {68},
  number       = {3},
  pages        = {785--794},
  year         = {2003},
  url          = {https://doi.org/10.2178/jsl/1058448438},
  doi          = {10.2178/JSL/1058448438},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/BerarducciO03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/BerarducciO01,
  author       = {Alessandro Berarducci and
                  Margarita Otero},
  title        = {Intersection theory for 0-minimal manifolds},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {107},
  number       = {1-3},
  pages        = {87--119},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0168-0072(00)00027-0},
  doi          = {10.1016/S0168-0072(00)00027-0},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/BerarducciO01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/BerarducciB01,
  author       = {Alessandro Berarducci and
                  Corrado B{\"{o}}hm},
  editor       = {Aart Middeldorp},
  title        = {General Recursion on Second Order Term Algebras},
  booktitle    = {Rewriting Techniques and Applications, 12th International Conference,
                  {RTA} 2001, Utrecht, The Netherlands, May 22-24, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2051},
  pages        = {15--30},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45127-7\_4},
  doi          = {10.1007/3-540-45127-7\_4},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/BerarducciB01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BerarducciD99,
  author       = {Alessandro Berarducci and
                  Mariangiola Dezani{-}Ciancaglini},
  title        = {Infinite lambda-Calculus and Types},
  journal      = {Theor. Comput. Sci.},
  volume       = {212},
  number       = {1-2},
  pages        = {29--75},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0304-3975(98)00135-2},
  doi          = {10.1016/S0304-3975(98)00135-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BerarducciD99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/BerarducciO96,
  author       = {Alessandro Berarducci and
                  Margarita Otero},
  title        = {A Recursive Nonstandard Model of Normal Open Induction},
  journal      = {J. Symb. Log.},
  volume       = {61},
  number       = {4},
  pages        = {1228--1241},
  year         = {1996},
  url          = {https://doi.org/10.2307/2275813},
  doi          = {10.2307/2275813},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/BerarducciO96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/BerarducciD95,
  author       = {Alessandro Berarducci and
                  Paola D'Aquino},
  title        = {Delta\({}_{\mbox{0}}\)-Complexity of the Relation y = {\textbackslash}prod\({}_{\mbox{i
                  {\textless}= n}}\) F(i)},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {75},
  number       = {1-2},
  pages        = {49--56},
  year         = {1995},
  url          = {https://doi.org/10.1016/0168-0072(94)00055-8},
  doi          = {10.1016/0168-0072(94)00055-8},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/BerarducciD95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/BerarducciV93,
  author       = {Alessandro Berarducci and
                  Rineke Verbrugge},
  title        = {On the Provability Logic of Bounded Arithmetic},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {61},
  number       = {1-2},
  pages        = {75--93},
  year         = {1993},
  url          = {https://doi.org/10.1016/0168-0072(93)90199-N},
  doi          = {10.1016/0168-0072(93)90199-N},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/BerarducciV93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/BerarducciZ93,
  author       = {Alessandro Berarducci and
                  Marisa Venturini Zilli},
  title        = {Generalizations of Unification},
  journal      = {J. Symb. Comput.},
  volume       = {16},
  number       = {5},
  pages        = {479--491},
  year         = {1993},
  url          = {https://doi.org/10.1006/jsco.1993.1059},
  doi          = {10.1006/JSCO.1993.1059},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/BerarducciZ93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BerarducciI93,
  author       = {Alessandro Berarducci and
                  Benedetto Intrigila},
  title        = {Some New Results on Easy lambda-Terms},
  journal      = {Theor. Comput. Sci.},
  volume       = {121},
  number       = {1{\&}2},
  pages        = {71--88},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90084-7},
  doi          = {10.1016/0304-3975(93)90084-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BerarducciI93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/BerarducciB92,
  author       = {Alessandro Berarducci and
                  Corrado B{\"{o}}hm},
  editor       = {Egon B{\"{o}}rger and
                  Gerhard J{\"{a}}ger and
                  Hans Kleine B{\"{u}}ning and
                  Simone Martini and
                  Michael M. Richter},
  title        = {A Self-Interpreter of Lambda Calculus Having a Normal Form},
  booktitle    = {Computer Science Logic, 6th Workshop, {CSL} '92, San Miniato, Italy,
                  September 28 - October 2, 1992, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {702},
  pages        = {85--99},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-56992-8\_7},
  doi          = {10.1007/3-540-56992-8\_7},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/BerarducciB92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/BerarducciI91,
  author       = {Alessandro Berarducci and
                  Benedetto Intrigila},
  title        = {Combinatorial Principles in Elementary Number Theory},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {55},
  number       = {1},
  pages        = {35--50},
  year         = {1991},
  url          = {https://doi.org/10.1016/0168-0072(91)90096-5},
  doi          = {10.1016/0168-0072(91)90096-5},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/BerarducciI91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Berarducci90,
  author       = {Alessandro Berarducci},
  title        = {The Interpretability Logic of Peano Arithmetic},
  journal      = {J. Symb. Log.},
  volume       = {55},
  number       = {3},
  pages        = {1059--1089},
  year         = {1990},
  url          = {https://doi.org/10.2307/2274474},
  doi          = {10.2307/2274474},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/Berarducci90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BohmB85,
  author       = {Corrado B{\"{o}}hm and
                  Alessandro Berarducci},
  title        = {Automatic Synthesis of Typed Lambda-Programs on Term Algebras},
  journal      = {Theor. Comput. Sci.},
  volume       = {39},
  pages        = {135--154},
  year         = {1985},
  url          = {https://doi.org/10.1016/0304-3975(85)90135-5},
  doi          = {10.1016/0304-3975(85)90135-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BohmB85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.