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

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.