Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/eatcs/Arnold83,
  author       = {A. Arnold},
  title        = {A negative result for B{\"{u}}chi's automata},
  journal      = {Bull. {EATCS}},
  volume       = {21},
  pages        = {11},
  year         = {1983},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Arnold83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/BlumerBEHM83,
  author       = {Anselm Blumer and
                  J. Blumer and
                  Andrzej Ehrenfeucht and
                  David Haussler and
                  Ross M. McConnell},
  title        = {Linear size finite automata for the set of all subwords of a word
                  - an outline of results},
  journal      = {Bull. {EATCS}},
  volume       = {21},
  pages        = {12--20},
  year         = {1983},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/BlumerBEHM83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/ChouekaP83,
  author       = {Yaacov Choueka and
                  David Peleg},
  title        = {A note of omega-regular languages},
  journal      = {Bull. {EATCS}},
  volume       = {21},
  pages        = {21--23},
  year         = {1983},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/ChouekaP83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Georgieva83,
  author       = {Nadejda Georgieva},
  title        = {Notes on the equivalence of some programs},
  journal      = {Bull. {EATCS}},
  volume       = {21},
  pages        = {24--30},
  year         = {1983},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Georgieva83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/GogollaE83,
  author       = {Martin Gogolla and
                  Hans{-}Dieter Ehrich},
  title        = {Algebraic Specification with subsorts using declarations},
  journal      = {Bull. {EATCS}},
  volume       = {21},
  pages        = {31--38},
  year         = {1983},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/GogollaE83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Raoult83,
  author       = {Jean{-}Claude Raoult},
  title        = {On graph rewritings},
  journal      = {Bull. {EATCS}},
  volume       = {21},
  pages        = {39--48},
  year         = {1983},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Raoult83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/RestivoS83,
  author       = {Antonio Restivo and
                  Sergio Salemi},
  title        = {On weakly square free words},
  journal      = {Bull. {EATCS}},
  volume       = {21},
  pages        = {49--57},
  year         = {1983},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/RestivoS83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Schmidt83,
  author       = {Diana Schmidt},
  title        = {An alternative definition of {NP}},
  journal      = {Bull. {EATCS}},
  volume       = {21},
  pages        = {57--67},
  year         = {1983},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Schmidt83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Starke83,
  author       = {Peter H. Starke},
  title        = {Monogenous FIFO-nets and PETRI-nets are equivalent},
  journal      = {Bull. {EATCS}},
  volume       = {21},
  pages        = {68--76},
  year         = {1983},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Starke83.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.