Search dblp for Publications

• > Home > Search

@article{DBLP:journals/jla/Berger09,
  author       = {Josef Berger},
  title        = {A decomposition of Brouwer's fan theorem},
  journal      = {J. Log. Anal.},
  volume       = {1},
  year         = {2009},
  url          = {http://logicandanalysis.org/index.php/jla/article/view/20/15},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jla/Berger09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jla/Boudaoud09,
  author       = {Abdelmadjid Boudaoud},
  title        = {Decomposition of terms in Lucas sequences},
  journal      = {J. Log. Anal.},
  volume       = {1},
  year         = {2009},
  url          = {http://logicandanalysis.org/index.php/jla/article/view/18/13},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jla/Boudaoud09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jla/CoquandS09,
  author       = {Thierry Coquand and
                  Bas Spitters},
  title        = {Integrals and valuations},
  journal      = {J. Log. Anal.},
  volume       = {1},
  year         = {2009},
  url          = {http://logicandanalysis.org/index.php/jla/article/view/14/12},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jla/CoquandS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jla/Goldbring09,
  author       = {Isaac Goldbring},
  title        = {Nonstandard hulls of locally exponential Lie algebras},
  journal      = {J. Log. Anal.},
  volume       = {1},
  year         = {2009},
  url          = {http://logicandanalysis.org/index.php/jla/article/view/19/14},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jla/Goldbring09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jla/Hrbacek09,
  author       = {Karel Hrbacek},
  title        = {Relative set theory: Internal view},
  journal      = {J. Log. Anal.},
  volume       = {1},
  year         = {2009},
  url          = {http://logicandanalysis.org/index.php/jla/article/view/25/17},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jla/Hrbacek09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jla/LubarskyR09,
  author       = {Robert S. Lubarsky and
                  Fred Richman},
  title        = {Signed-bit representations of real numbers},
  journal      = {J. Log. Anal.},
  volume       = {1},
  year         = {2009},
  url          = {http://logicandanalysis.org/index.php/jla/article/view/29/19},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jla/LubarskyR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jla/Pathak09,
  author       = {Noopur Pathak},
  title        = {A computational aspect of the Lebesgue differentiation theorem},
  journal      = {J. Log. Anal.},
  volume       = {1},
  year         = {2009},
  url          = {http://logicandanalysis.org/index.php/jla/article/view/28/18},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jla/Pathak09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jla/Vickers09,
  author       = {Steven Vickers},
  title        = {Localic completion of generalized metric spaces {II:} Powerlocales},
  journal      = {J. Log. Anal.},
  volume       = {1},
  year         = {2009},
  url          = {http://logicandanalysis.org/index.php/jla/article/view/34/20},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jla/Vickers09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jla/Weisshaupt09,
  author       = {Heinz Weisshaupt},
  title        = {Diffusion processes via parabolic equations: an infinitesimal approach
                  to Lindeberg's limit theorem},
  journal      = {J. Log. Anal.},
  volume       = {1},
  year         = {2009},
  url          = {http://logicandanalysis.org/index.php/jla/article/view/12/9},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jla/Weisshaupt09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jla/Yaacov09,
  author       = {Ita{\"{\i}} Ben Yaacov},
  title        = {Modular functionals and perturbations of Nakano spaces},
  journal      = {J. Log. Anal.},
  volume       = {1},
  year         = {2009},
  url          = {http://logicandanalysis.org/index.php/jla/article/view/11/5},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jla/Yaacov09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jla/YaacovB09,
  author       = {Ita{\"{\i}} Ben Yaacov and
                  Alexander Berenstein},
  title        = {On perturbations of Hilbert spaces and probability algebras with a
                  generic automorphism},
  journal      = {J. Log. Anal.},
  volume       = {1},
  year         = {2009},
  url          = {http://logicandanalysis.org/index.php/jla/article/view/23/16},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jla/YaacovB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}