Search dblp for Publications

• > Home > Search

@article{DBLP:journals/jla/Berg13,
  author       = {Imme Pieter van den Berg},
  title        = {Discretisations of higher order and the theorems of Fa{\`{a}} di Bruno
                  and DeMoivre-Laplace},
  journal      = {J. Log. Anal.},
  volume       = {5},
  year         = {2013},
  url          = {http://logicandanalysis.org/index.php/jla/article/view/173/87},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jla/Berg13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jla/BridgesM13,
  author       = {Douglas S. Bridges and
                  Maarten McKubre{-}Jordens},
  title        = {Solving the Dirichlet problem constructively},
  journal      = {J. Log. Anal.},
  volume       = {5},
  year         = {2013},
  url          = {http://logicandanalysis.org/index.php/jla/article/view/133/83},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jla/BridgesM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jla/CirauloMS13,
  author       = {Francesco Ciraulo and
                  Maria Emilia Maietti and
                  Giovanni Sambin},
  title        = {Convergence in formal topology: a unifying notion},
  journal      = {J. Log. Anal.},
  volume       = {5},
  year         = {2013},
  url          = {http://logicandanalysis.org/index.php/jla/article/view/196/82},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jla/CirauloMS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jla/Fackler13,
  author       = {Andreas Fackler},
  title        = {A topological set theory implied by {ZF} and GPK\({}^{\mbox{+}}\)\({}_{\mbox{{\(\infty\)}}}\)},
  journal      = {J. Log. Anal.},
  volume       = {5},
  year         = {2013},
  url          = {http://logicandanalysis.org/index.php/jla/article/view/186/72},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jla/Fackler13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jla/Green13,
  author       = {Edward J. Green},
  title        = {Embedding an analytic equivalence relation in the transitive closure
                  of a Borel relation},
  journal      = {J. Log. Anal.},
  volume       = {5},
  year         = {2013},
  url          = {http://logicandanalysis.org/index.php/jla/article/view/204/85},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jla/Green13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jla/MannaaC13,
  author       = {Bassel Mannaa and
                  Thierry Coquand},
  title        = {Dynamic Newton-Puiseux theorem},
  journal      = {J. Log. Anal.},
  volume       = {5},
  year         = {2013},
  url          = {http://logicandanalysis.org/index.php/jla/article/view/152/86},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jla/MannaaC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jla/PaulyZ13,
  author       = {Arno Pauly and
                  Martin Ziegler},
  title        = {Relative computability and uniform continuity of relations},
  journal      = {J. Log. Anal.},
  volume       = {5},
  year         = {2013},
  url          = {http://logicandanalysis.org/index.php/jla/article/view/156/88},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jla/PaulyZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jla/Yaacov13,
  author       = {Ita{\"{\i}} Ben Yaacov},
  title        = {Lipschitz functions on topometric spaces},
  journal      = {J. Log. Anal.},
  volume       = {5},
  year         = {2013},
  url          = {http://logicandanalysis.org/index.php/jla/article/view/187/89},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jla/Yaacov13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}