Search dblp for Publications

• > Home > Search

@article{DBLP:journals/rml/AckermanK22,
  author       = {Nathanael L. Ackerman and
                  Mary Leah Karker},
  title        = {A Maximality Theorem for Continuous First Order Theories},
  journal      = {Reports Math. Log.},
  volume       = {57},
  pages        = {61--93},
  year         = {2022},
  url          = {https://doi.org/10.4467/20842589rm.22.005.16662},
  doi          = {10.4467/20842589RM.22.005.16662},
  timestamp    = {Sat, 13 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rml/AckermanK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/BonacinaM22,
  author       = {Roberta Bonacina and
                  Daniel Misselbeck{-}Wessel},
  title        = {A formal approach to Menger's theorem},
  journal      = {Reports Math. Log.},
  volume       = {57},
  pages        = {45--51},
  year         = {2022},
  url          = {https://doi.org/10.4467/20842589rm.22.003.16660},
  doi          = {10.4467/20842589RM.22.003.16660},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rml/BonacinaM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/ChompitakiKP22,
  author       = {Dimitra Chompitaki and
                  Manos Kamarianakis and
                  Thanases Pheidas},
  title        = {Notes on the decidability of addition and the Frobenius map for polynomials
                  and rational functions},
  journal      = {Reports Math. Log.},
  volume       = {57},
  pages        = {53--60},
  year         = {2022},
  url          = {https://doi.org/10.4467/20842589rm.22.004.16661},
  doi          = {10.4467/20842589RM.22.004.16661},
  timestamp    = {Sat, 13 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rml/ChompitakiKP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Eberl22,
  author       = {Matthias Eberl},
  title        = {A Model Theory for the Potential Infinite},
  journal      = {Reports Math. Log.},
  volume       = {57},
  pages        = {3--30},
  year         = {2022},
  url          = {https://doi.org/10.4467/20842589rm.22.001.16658},
  doi          = {10.4467/20842589RM.22.001.16658},
  timestamp    = {Sat, 08 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rml/Eberl22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Lipparini22,
  author       = {Paolo Lipparini},
  title        = {Non-generators in extensions of infinitary algebras},
  journal      = {Reports Math. Log.},
  volume       = {57},
  pages        = {31--43},
  year         = {2022},
  url          = {https://doi.org/10.4467/20842589rm.22.002.16659},
  doi          = {10.4467/20842589RM.22.002.16659},
  timestamp    = {Sat, 13 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rml/Lipparini22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}