Search dblp for Publications

• > Home > Search

@article{DBLP:journals/eatcs/EhrigKO95,
  author       = {Hartmut Ehrig and
                  Hans{-}J{\"{o}}rg Kreowski and
                  Fernando Orejas},
  title        = {Correctness of actualization for parameterized implementation concepts
                  based on constructors and abstractors},
  journal      = {Bull. {EATCS}},
  volume       = {56},
  year         = {1995},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/EhrigKO95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Fernau95,
  author       = {Henning Fernau},
  title        = {A predicate for separating language classes},
  journal      = {Bull. {EATCS}},
  volume       = {56},
  year         = {1995},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Fernau95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Galley95,
  author       = {Clive N. Galley},
  title        = {An Omega(log n) time linear cost lower bound for the single function
                  coarsest partition problem},
  journal      = {Bull. {EATCS}},
  volume       = {56},
  year         = {1995},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Galley95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Jancar95,
  author       = {Petr Jancar},
  title        = {All action-based behavioural equivalences are undecidable for labelled
                  Petri nets},
  journal      = {Bull. {EATCS}},
  volume       = {56},
  year         = {1995},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Jancar95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Meduna95,
  author       = {Alexander Meduna},
  title        = {A trivial method of characterizing the family of recursively enumerable
                  languages by scattered context grammars},
  journal      = {Bull. {EATCS}},
  volume       = {56},
  year         = {1995},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Meduna95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Moshkov95,
  author       = {Mikhail Moshkov},
  title        = {Relationships between depth of deterministic and nondeterministic
                  acyclic programs computing functions of k-valued logic},
  journal      = {Bull. {EATCS}},
  volume       = {56},
  year         = {1995},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Moshkov95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Prodinger95,
  author       = {Helmut Prodinger},
  title        = {Digital search trees and basic hypergeometric functions},
  journal      = {Bull. {EATCS}},
  volume       = {56},
  year         = {1995},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Prodinger95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Salomaa95,
  author       = {Arto Salomaa},
  title        = {From Parikh vectors to {GO} territories},
  journal      = {Bull. {EATCS}},
  volume       = {56},
  year         = {1995},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Salomaa95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}