Search dblp for Publications

• > Home > Search

@article{DBLP:journals/eatcs/Chapman92,
  author       = {Nigel P. Chapman},
  title        = {On Extended Attribute Grammars},
  journal      = {Bull. {EATCS}},
  volume       = {46},
  pages        = {140--145},
  year         = {1992},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Chapman92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Grosse-RhodeE92,
  author       = {Martin Gro{\ss}e{-}Rhode and
                  Hartmut Ehrig},
  title        = {Restriction Constructions in Specification Logics},
  journal      = {Bull. {EATCS}},
  volume       = {46},
  pages        = {84--89},
  year         = {1992},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Grosse-RhodeE92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Gurevich92,
  author       = {Yuri Gurevich},
  title        = {Zero-One Laws},
  journal      = {Bull. {EATCS}},
  volume       = {46},
  pages        = {90--106},
  year         = {1992},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Gurevich92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/HemachandraO92,
  author       = {Lane A. Hemachandra and
                  Mitsunori Ogiwara},
  title        = {Is {\#}P Closed under Substraction?},
  journal      = {Bull. {EATCS}},
  volume       = {46},
  pages        = {107--123},
  year         = {1992},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/HemachandraO92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/KariMPS92,
  author       = {Lila Kari and
                  Solomon Marcus and
                  Gheorghe Paun and
                  Arto Salomaa},
  title        = {In the prehistory of formal language theory: Gauss Languages},
  journal      = {Bull. {EATCS}},
  volume       = {46},
  pages        = {124--139},
  year         = {1992},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/KariMPS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Makinen92,
  author       = {Erkki M{\"{a}}kinen},
  title        = {A note on Graftings, Rotations, and Distances in Binary Trees},
  journal      = {Bull. {EATCS}},
  volume       = {46},
  pages        = {146--148},
  year         = {1992},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Makinen92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Meinel92,
  author       = {Christoph Meinel},
  title        = {Branching Programs - An Efficient Data Structure for Computer-Aided
                  Circuit Design},
  journal      = {Bull. {EATCS}},
  volume       = {46},
  pages        = {149--170},
  year         = {1992},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Meinel92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/PaunS92,
  author       = {Gheorghe Paun and
                  Arto Salomaa},
  title        = {Decision Problems Concerning the Thinness of {DOL} Languages},
  journal      = {Bull. {EATCS}},
  volume       = {46},
  pages        = {171--181},
  year         = {1992},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/PaunS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/ShallitW92,
  author       = {Jeffrey O. Shallit and
                  David A. Wilson},
  title        = {The "3x + 1" Problem and Finite Automata},
  journal      = {Bull. {EATCS}},
  volume       = {46},
  pages        = {182--185},
  year         = {1992},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/ShallitW92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Urbanek92a,
  author       = {Friedrich J. Urbanek},
  title        = {O = square},
  journal      = {Bull. {EATCS}},
  volume       = {46},
  pages        = {186--187},
  year         = {1992},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Urbanek92a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Veloso92,
  author       = {Paulo A. S. Veloso},
  title        = {Yet Antother Cautionary Note on Conservative Extensions: a Simple
                  Case with a Computing Flavour},
  journal      = {Bull. {EATCS}},
  volume       = {46},
  pages        = {188--192},
  year         = {1992},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Veloso92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}