Search dblp for Publications

• > Home > Search

@article{DBLP:journals/eatcs/BouyerC06,
  author       = {Patricia Bouyer and
                  Fabrice Chevalier},
  title        = {On the Control of Timed and Hybrid Systems},
  journal      = {Bull. {EATCS}},
  volume       = {89},
  pages        = {79--96},
  year         = {2006},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/BouyerC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Choffrut06,
  author       = {Christian Choffrut},
  title        = {Relations over Words and Logic: {A} Chronology},
  journal      = {Bull. {EATCS}},
  volume       = {89},
  pages        = {159--163},
  year         = {2006},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Choffrut06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/ConstantinescuI06,
  author       = {Sorin Constantinescu and
                  Lucian Ilie},
  title        = {Fine and Wilf's Theorem for Abelian Periods},
  journal      = {Bull. {EATCS}},
  volume       = {89},
  pages        = {167--170},
  year         = {2006},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/ConstantinescuI06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/CzumajS06,
  author       = {Artur Czumaj and
                  Christian Sohler},
  title        = {Sublinear-Time Algorithms},
  journal      = {Bull. {EATCS}},
  volume       = {89},
  pages        = {23--47},
  year         = {2006},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/CzumajS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Domaratzki06,
  author       = {Michael Domaratzki},
  title        = {Enumeration of Formal Languages},
  journal      = {Bull. {EATCS}},
  volume       = {89},
  pages        = {117--133},
  year         = {2006},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Domaratzki06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Ehrig06a,
  author       = {Hartmut Ehrig},
  title        = {Report on {ACCAT} Workshop at {ETAPS} 2006: Applied and Computational
                  Category Theory},
  journal      = {Bull. {EATCS}},
  volume       = {89},
  pages        = {134--135},
  year         = {2006},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Ehrig06a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/HarjuN06,
  author       = {Tero Harju and
                  Dirk Nowotka},
  title        = {Binary Words with Few Squares},
  journal      = {Bull. {EATCS}},
  volume       = {89},
  pages        = {164--166},
  year         = {2006},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/HarjuN06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/KoblerL06,
  author       = {Johannes K{\"{o}}bler and
                  Wolfgang Lindner},
  title        = {Learning Boolean Functions under the Uniform},
  journal      = {Bull. {EATCS}},
  volume       = {89},
  pages        = {48--78},
  year         = {2006},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/KoblerL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Moss06,
  author       = {Lawrence S. Moss},
  title        = {Recursion Theorems and Self-Replication Via Text Register Machine
                  Programs},
  journal      = {Bull. {EATCS}},
  volume       = {89},
  pages        = {171--182},
  year         = {2006},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Moss06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Papadopoulou06,
  author       = {Vicky Papadopoulou},
  title        = {A Game on a Distributed Network},
  journal      = {Bull. {EATCS}},
  volume       = {89},
  pages        = {97--116},
  year         = {2006},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Papadopoulou06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Sevenster06,
  author       = {Merlijn Sevenster},
  title        = {Henkin Quantifiers: Logic, Games, and Computation},
  journal      = {Bull. {EATCS}},
  volume       = {89},
  pages        = {136--155},
  year         = {2006},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Sevenster06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}