Search dblp for Publications

• > Home > Search

@article{DBLP:journals/eatcs/BlassG00a,
  author       = {Andreas Blass and
                  Yuri Gurevich},
  title        = {The Underlying Logic of Hoare Logic},
  journal      = {Bull. {EATCS}},
  volume       = {70},
  pages        = {82--111},
  year         = {2000},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/BlassG00a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/BodeiDNN00,
  author       = {Chiara Bodei and
                  Pierpaolo Degano and
                  Flemming Nielson and
                  Hanne Riis Nielson},
  title        = {Security Analysis using Flow Logics},
  journal      = {Bull. {EATCS}},
  volume       = {70},
  pages        = {112--130},
  year         = {2000},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/BodeiDNN00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Buhrman00,
  author       = {Harry Buhrman},
  title        = {Quantum Computing and Communication Complexity},
  journal      = {Bull. {EATCS}},
  volume       = {70},
  pages        = {131--141},
  year         = {2000},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Buhrman00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/EhrigGGKM00,
  author       = {Hartmut Ehrig and
                  Robert Geisler and
                  Martin Gro{\ss}e{-}Rhode and
                  Marcus Klar and
                  Stefan Mann},
  title        = {On Formal Semantics and Integration of Object-Oriented Modeling Languages},
  journal      = {Bull. {EATCS}},
  volume       = {70},
  pages        = {77--81},
  year         = {2000},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/EhrigGGKM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Honkala00a,
  author       = {Juha Honkala},
  title        = {The {D0L} Problem Revisited},
  journal      = {Bull. {EATCS}},
  volume       = {70},
  pages        = {142--155},
  year         = {2000},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Honkala00a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Makinen00,
  author       = {Erkki M{\"{a}}kinen},
  title        = {A Conjecture on the Error Bound of the Barycenter Heuristic},
  journal      = {Bull. {EATCS}},
  volume       = {70},
  pages        = {156--158},
  year         = {2000},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Makinen00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Srinivasan00,
  author       = {A. Srinivasan},
  title        = {Low-Discrepancy Sets For High-Dimensional Rectangles: {A} Survey},
  journal      = {Bull. {EATCS}},
  volume       = {70},
  pages        = {67--76},
  year         = {2000},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Srinivasan00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/TrejoKL00,
  author       = {Raul Trejo and
                  Vladik Kreinovich and
                  Luc Longpr{\'{e}}},
  title        = {Choosing a Physical Model: Why Symmetries?},
  journal      = {Bull. {EATCS}},
  volume       = {70},
  pages        = {159--161},
  year         = {2000},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/TrejoKL00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Wang00,
  author       = {Ming{-}wei Wang},
  title        = {On the Irregularity of the Duplication Closure},
  journal      = {Bull. {EATCS}},
  volume       = {70},
  pages        = {162--163},
  year         = {2000},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Wang00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}