Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/eatcs/BookW89,
  author       = {Ronald V. Book and
                  Osamu Watanabe},
  title        = {A view of structural complexity theory},
  journal      = {Bull. {EATCS}},
  volume       = {39},
  pages        = {122--138},
  year         = {1989},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/BookW89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/CantoneC89,
  author       = {Domenico Cantone and
                  Vincenzo Cutello},
  title        = {Decision procedures for elementary sublanguages of set theory, XVI,
                  Multilevel syllogistic extended by singleton, rank comparison and
                  unary intersection},
  journal      = {Bull. {EATCS}},
  volume       = {39},
  pages        = {139--148},
  year         = {1989},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/CantoneC89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Crochemore89,
  author       = {Maxime Crochemore},
  title        = {String-matching and periods},
  journal      = {Bull. {EATCS}},
  volume       = {39},
  pages        = {149--153},
  year         = {1989},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Crochemore89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/EhrigC89,
  author       = {Hartmut Ehrig and
                  Ingo Cla{\ss}en},
  title        = {Overview of Algebraic Specification Languages Environments and Tools,
                  and Algebraic Specifications of Software Systems},
  journal      = {Bull. {EATCS}},
  volume       = {39},
  pages        = {103--111},
  year         = {1989},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/EhrigC89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/FulopV89,
  author       = {Zolt{\'{a}}n F{\"{u}}l{\"{o}}p and
                  S{\'{a}}ndor V{\'{a}}gv{\"{o}}lgyi},
  title        = {Congruential tree languages are the same as recognizable tree languages
                  - a proof for a theorem of D. Kozen},
  journal      = {Bull. {EATCS}},
  volume       = {39},
  pages        = {175--184},
  year         = {1989},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/FulopV89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Goguen89,
  author       = {Joseph A. Goguen},
  title        = {Momories of {ADJ}},
  journal      = {Bull. {EATCS}},
  volume       = {39},
  pages        = {96--102},
  year         = {1989},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Goguen89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Gurevich89,
  author       = {Yuri Gurevich},
  title        = {Logic in Computer Science Column},
  journal      = {Bull. {EATCS}},
  volume       = {39},
  pages        = {112--121},
  year         = {1989},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Gurevich89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Hromkovic89,
  author       = {Juraj Hromkovic},
  title        = {The knowledge on information content of problems provides much useful
                  information to circuit designers},
  journal      = {Bull. {EATCS}},
  volume       = {39},
  pages        = {154--170},
  year         = {1989},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Hromkovic89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/LucaV89,
  author       = {Aldo de Luca and
                  Stefano Varricchio},
  title        = {A positive pumping condition for regular sets},
  journal      = {Bull. {EATCS}},
  volume       = {39},
  pages        = {171--174},
  year         = {1989},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/LucaV89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Luscanne89,
  author       = {Pierre Lescanne},
  title        = {Well quasi-ordering in a paper by Maurice Janet},
  journal      = {Bull. {EATCS}},
  volume       = {39},
  pages        = {185--188},
  year         = {1989},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Luscanne89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Ollongren89,
  author       = {Alexander Ollongren},
  title        = {A curious grammar},
  journal      = {Bull. {EATCS}},
  volume       = {39},
  pages        = {189--196},
  year         = {1989},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Ollongren89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Poigne89,
  author       = {Axel Poign{\'{e}}},
  title        = {Bisimulation as cointersection},
  journal      = {Bull. {EATCS}},
  volume       = {39},
  pages        = {197--198},
  year         = {1989},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Poigne89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Skowron89,
  author       = {Andrzej Skowron},
  title        = {The evidence theory and decision tables},
  journal      = {Bull. {EATCS}},
  volume       = {39},
  pages        = {199--204},
  year         = {1989},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Skowron89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Urbanek89,
  author       = {Friedrich J. Urbanek},
  title        = {On minimizing finite automata},
  journal      = {Bull. {EATCS}},
  volume       = {39},
  pages        = {205--206},
  year         = {1989},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Urbanek89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics