Search dblp for Publications

• > Home > Search

@article{DBLP:journals/eatcs/BaazZ92,
  author       = {Matthias Baaz and
                  Richard Zach},
  title        = {Note on calculi for a three-valued logic for logic programming.},
  journal      = {Bull. {EATCS}},
  volume       = {48},
  pages        = {157--164},
  year         = {1992},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/BaazZ92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/CassaigneSS92,
  author       = {Julien Cassaigne and
                  Sylviane R. Schwer and
                  Patrice S{\'{e}}{\'{e}}bold},
  title        = {About Gauss codes},
  journal      = {Bull. {EATCS}},
  volume       = {48},
  pages        = {165--171},
  year         = {1992},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/CassaigneSS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/ComptonS92,
  author       = {Kevin J. Compton and
                  Howard Straubing},
  title        = {Characterizations of regular languages in low level complexity classes},
  journal      = {Bull. {EATCS}},
  volume       = {48},
  pages        = {134--142},
  year         = {1992},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/ComptonS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/DorsteS92,
  author       = {Manfred Droste and
                  R. M. Shortt},
  title        = {Bounded Petri nets of finite dimension have only finitely many reachable
                  markings},
  journal      = {Bull. {EATCS}},
  volume       = {48},
  pages        = {172--174},
  year         = {1992},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/DorsteS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/GoguenD92,
  author       = {Joseph A. Goguen and
                  Razvan Diaconescu},
  title        = {A short Oxford survey of order sorted algebra.},
  journal      = {Bull. {EATCS}},
  volume       = {48},
  pages        = {121--133},
  year         = {1992},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/GoguenD92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Libkin92,
  author       = {Leonid Libkin},
  title        = {An elementary proof that upper and lower powerdomain constructions
                  commute},
  journal      = {Bull. {EATCS}},
  volume       = {48},
  pages        = {175--177},
  year         = {1992},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Libkin92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Paun92,
  author       = {Gheorghe Paun},
  title        = {{VALENCES:} Increasing the power of grammars, tranducers grammar systems},
  journal      = {Bull. {EATCS}},
  volume       = {48},
  pages        = {143--156},
  year         = {1992},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Paun92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Pawlak92,
  author       = {Zdzislaw Pawlak},
  title        = {Concurrent versus sequential - the rough sets perspective},
  journal      = {Bull. {EATCS}},
  volume       = {48},
  pages        = {178--190},
  year         = {1992},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Pawlak92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Steinby92,
  author       = {Magnus Steinby},
  title        = {On generalizations of the Nerode and Myhill theorems},
  journal      = {Bull. {EATCS}},
  volume       = {48},
  pages        = {191--196},
  year         = {1992},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Steinby92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/VagvolgyiG92,
  author       = {S{\'{a}}ndor V{\'{a}}gv{\"{o}}lgyi and
                  R{\'{e}}mi Gilleron},
  title        = {For a rewrite system it is decidable whether the set of irreducible,
                  ground terms is regognizable},
  journal      = {Bull. {EATCS}},
  volume       = {48},
  pages        = {197--209},
  year         = {1992},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/VagvolgyiG92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}