Search dblp for Publications

export results for "toc:db/journals/eatcs/eatcs31.bht:"

 download as .bib file

@article{DBLP:journals/eatcs/BoonyavatanaS87,
  author    = {R. Boonyavatana and
               Giora Slutzki},
  title     = {Note: on the sufficiency of Igarashi's conditions for real-time deterministic
               context-free-languages},
  journal   = {Bull. {EATCS}},
  volume    = {31},
  pages     = {9--11},
  year      = {1987},
  timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/eatcs/BoonyavatanaS87.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/CastellanoMP87,
  author    = {Luca Castellano and
               Giorgio De Michelis and
               Lucia Pomello},
  title     = {Concurrency versus interleaving: an instructuve example},
  journal   = {Bull. {EATCS}},
  volume    = {31},
  pages     = {12--14},
  year      = {1987},
  timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/eatcs/CastellanoMP87.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Chlebus87,
  author    = {Bogdan S. Chlebus},
  title     = {A note on the polynomial-time hierarchy and the quantified Boolean
               formulas},
  journal   = {Bull. {EATCS}},
  volume    = {31},
  pages     = {15--21},
  year      = {1987},
  timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/eatcs/Chlebus87.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/GanzingerG87,
  author    = {Harald Ganzinger and
               Robert Giegerich},
  title     = {A note on termination in combinatiosn of heterogeneous term rewriting
               systems},
  journal   = {Bull. {EATCS}},
  volume    = {31},
  pages     = {22--27},
  year      = {1987},
  timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/eatcs/GanzingerG87.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Lange87,
  author    = {Steffen Lange},
  title     = {On the construction of unifying terms modulo a set of substitutions},
  journal   = {Bull. {EATCS}},
  volume    = {31},
  pages     = {29--34},
  year      = {1987},
  timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/eatcs/Lange87.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Makinen87,
  author    = {Erkki M{\"{a}}kinen},
  title     = {Normal forms for pure context-free grammars},
  journal   = {Bull. {EATCS}},
  volume    = {31},
  pages     = {35--37},
  year      = {1987},
  timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/eatcs/Makinen87.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Poigne87,
  author    = {Axel Poign{\'{e}}},
  title     = {A remark on variations of power domains},
  journal   = {Bull. {EATCS}},
  volume    = {31},
  pages     = {38--41},
  year      = {1987},
  timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/eatcs/Poigne87.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Sokolowski87,
  author    = {Stefan Sokolowski},
  title     = {How not to sweep infoxes u nder the carpet},
  journal   = {Bull. {EATCS}},
  volume    = {31},
  pages     = {42--46},
  year      = {1987},
  timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/eatcs/Sokolowski87.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Tel87,
  author    = {Gerard Tel},
  title     = {Efficent leader finding in arbitary networks},
  journal   = {Bull. {EATCS}},
  volume    = {31},
  pages     = {47--49},
  year      = {1987},
  timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/eatcs/Tel87.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics