Search dblp for Publications

• > Home > Search

@article{DBLP:journals/eatcs/BerstelK03,
  author       = {Jean Berstel and
                  Juhani Karhum{\"{a}}ki},
  title        = {Combinatorics on words: a tutorial},
  journal      = {Bull. {EATCS}},
  volume       = {79},
  pages        = {178},
  year         = {2003},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/BerstelK03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/BezemC03,
  author       = {Marc Bezem and
                  Thierry Coquand},
  title        = {Newman's lemma - a case study in proof automation and geometric logic,
                  Logic in Computer Science Column},
  journal      = {Bull. {EATCS}},
  volume       = {79},
  pages        = {86--100},
  year         = {2003},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/BezemC03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/DemetrescuFI03,
  author       = {Camil Demetrescu and
                  Irene Finocchi and
                  Giuseppe F. Italiano},
  title        = {Algorithm engineering, Algorithmics Column},
  journal      = {Bull. {EATCS}},
  volume       = {79},
  pages        = {48--63},
  year         = {2003},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/DemetrescuFI03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Ehrig03,
  author       = {Hartmut Ehrig},
  title        = {On the relevance of high-level net processes, Formal Specification
                  Column},
  journal      = {Bull. {EATCS}},
  volume       = {79},
  pages        = {64--68},
  year         = {2003},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Ehrig03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/FeigenbaumS03,
  author       = {Joan Feigenbaum and
                  Scott Shenker},
  title        = {Distributed algorithmic mechanism design: recent results and future
                  directions, Distributed Computing Column},
  journal      = {Bull. {EATCS}},
  volume       = {79},
  pages        = {101--121},
  year         = {2003},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/FeigenbaumS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Fenner03,
  author       = {Stephen A. Fenner},
  title        = {A physics-free introduction to the quantum computation model, Computational
                  Complexity Column},
  journal      = {Bull. {EATCS}},
  volume       = {79},
  pages        = {69--85},
  year         = {2003},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Fenner03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Garzon03,
  author       = {Max H. Garzon},
  title        = {Biomolecular computing in silico, Natural Computing Column},
  journal      = {Bull. {EATCS}},
  volume       = {79},
  pages        = {129--144},
  year         = {2003},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Garzon03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/LongpreK03,
  author       = {Luc Longpr{\'{e}} and
                  Vladik Kreinovich},
  title        = {Can quantum computers be useful when there are not yet enough qubits?},
  journal      = {Bull. {EATCS}},
  volume       = {79},
  pages        = {164--169},
  year         = {2003},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/LongpreK03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Markey03,
  author       = {Nicolas Markey},
  title        = {Temporal logic with past is exponentially more succinct, Concurrency
                  Column},
  journal      = {Bull. {EATCS}},
  volume       = {79},
  pages        = {122--128},
  year         = {2003},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Markey03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Okhotin03,
  author       = {Alexander Okhotin},
  title        = {An overview of conjunctive grammars, Formal Language Theory Column},
  journal      = {Bull. {EATCS}},
  volume       = {79},
  pages        = {145--163},
  year         = {2003},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Okhotin03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/SiromoneyD03,
  author       = {Rani Siromoney and
                  Bireswar Das},
  title        = {{DNA} algorithm for breaking a propositional logic based cryptosystem},
  journal      = {Bull. {EATCS}},
  volume       = {79},
  pages        = {170--177},
  year         = {2003},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/SiromoneyD03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}