Search dblp for Publications

• > Home > Search

@article{DBLP:journals/eatcs/Akman91,
  author       = {Varol Akman},
  title        = {Undaunted Sets},
  journal      = {Bull. {EATCS}},
  volume       = {45},
  pages        = {146--147},
  year         = {1991},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Akman91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Choffrut91,
  author       = {Christian Choffrut},
  title        = {Conjugacies},
  journal      = {Bull. {EATCS}},
  volume       = {45},
  pages        = {148--157},
  year         = {1991},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Choffrut91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/DassowK91,
  author       = {J{\"{u}}rgen Dassow and
                  Jozef Kelemen},
  title        = {Cooperating/Distributed Grammar Systems: a Link between Formal Languages
                  and Artificial Intelligence},
  journal      = {Bull. {EATCS}},
  volume       = {45},
  pages        = {131--145},
  year         = {1991},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/DassowK91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/FuloopV91,
  author       = {Zolt{\'{a}}n F{\"{u}}l{\"{o}}p and
                  S{\'{a}}ndor V{\'{a}}gv{\"{o}}lgyi},
  title        = {Ground Term Rewriting Rules for the Word Problem of Ground Term Equations},
  journal      = {Bull. {EATCS}},
  volume       = {45},
  pages        = {186--201},
  year         = {1991},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/FuloopV91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Gunter91,
  author       = {Carl A. Gunter},
  title        = {Forms of Semantic Specification},
  journal      = {Bull. {EATCS}},
  volume       = {45},
  pages        = {98--113},
  year         = {1991},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Gunter91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/InverardiP91,
  author       = {Paola Inverardi and
                  Corrado Priami},
  title        = {Evaluation of Tools for the Analysis of Communicating Systems},
  journal      = {Bull. {EATCS}},
  volume       = {45},
  pages        = {158--185},
  year         = {1991},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/InverardiP91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/LeuchnerMS91,
  author       = {John H. Leuchner and
                  Les Miller and
                  Giora Slutzki},
  title        = {Agreement Graph Dependencies},
  journal      = {Bull. {EATCS}},
  volume       = {45},
  pages        = {202--217},
  year         = {1991},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/LeuchnerMS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Paun91,
  author       = {Gheorghe Paun},
  title        = {A Characterization of Recursively Enumerable Languages},
  journal      = {Bull. {EATCS}},
  volume       = {45},
  pages        = {218--222},
  year         = {1991},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Paun91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/PresicceP91,
  author       = {Francesco Parisi{-}Presicce and
                  Alfonso Pierantonio},
  title        = {Towards the Algebraic Specification of Classes in Object Oriented
                  Programming},
  journal      = {Bull. {EATCS}},
  volume       = {45},
  pages        = {85--97},
  year         = {1991},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/PresicceP91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Selman91,
  author       = {Alan L. Selman},
  title        = {Complexity Classes for Partial Functions},
  journal      = {Bull. {EATCS}},
  volume       = {45},
  pages        = {114--130},
  year         = {1991},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Selman91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Turakainen91,
  author       = {Paavo Turakainen},
  title        = {A Unified Approach to Characterizations of Recursively Enumerable
                  Languages},
  journal      = {Bull. {EATCS}},
  volume       = {45},
  pages        = {223--228},
  year         = {1991},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Turakainen91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Turner91,
  author       = {David Turner},
  title        = {Duality and De Morgan Laws for the Algebra of Lists},
  journal      = {Bull. {EATCS}},
  volume       = {45},
  pages        = {229--238},
  year         = {1991},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Turner91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}