Search dblp for Publications

• > Home > Search

@article{DBLP:journals/apal/BerensteinEG07,
  author       = {Alexander Berenstein and
                  Clifton F. Ealy and
                  Ayhan G{\"{u}}naydin},
  title        = {Thorn independence in the field of real numbers with a small multiplicative
                  group},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {150},
  number       = {1-3},
  pages        = {1--18},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.apal.2007.06.002},
  doi          = {10.1016/J.APAL.2007.06.002},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/BerensteinEG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/CintulaHH07,
  author       = {Petr Cintula and
                  Petr H{\'{a}}jek and
                  Rostislav Horc{\'{\i}}k},
  title        = {Formal systems of fuzzy logic and their fragments},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {150},
  number       = {1-3},
  pages        = {40--65},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.apal.2007.09.002},
  doi          = {10.1016/J.APAL.2007.09.002},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/CintulaHH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Guzy07,
  author       = {Nicolas Guzy},
  title        = {Some elements of Lie-differential algebra and a uniform companion
                  for large Lie-differential fields},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {150},
  number       = {1-3},
  pages        = {66--78},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.apal.2007.10.001},
  doi          = {10.1016/J.APAL.2007.10.001},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/Guzy07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Jager07,
  author       = {Gerhard J{\"{a}}ger},
  title        = {On Feferman's operational set theory {OST}},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {150},
  number       = {1-3},
  pages        = {19--39},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.apal.2007.09.001},
  doi          = {10.1016/J.APAL.2007.09.001},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Jager07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}