Search dblp for Publications

• > Home > Search

@article{DBLP:journals/eatcs/CleavelandS96,
  author       = {Rance Cleaveland and
                  Scott A. Smolka},
  title        = {Strategic Directions in Computing Research-Concurrency Working Group
                  Report},
  journal      = {Bull. {EATCS}},
  volume       = {60},
  pages        = {97--122},
  year         = {1996},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/CleavelandS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/DegtyarevGV96,
  author       = {Anatoli Degtyarev and
                  Yuri Gurevich and
                  Andrei Voronkov},
  title        = {Herbrand's Theorem and Equational Reasoning: Problems and Solutions},
  journal      = {Bull. {EATCS}},
  volume       = {60},
  pages        = {78--96},
  year         = {1996},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/DegtyarevGV96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/EhrigW96,
  author       = {Hartmut Ehrig and
                  Uwe Wolter},
  title        = {The Impact and Future Role of Algebraic Specification},
  journal      = {Bull. {EATCS}},
  volume       = {60},
  pages        = {74--77},
  year         = {1996},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/EhrigW96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Engelfriet96,
  author       = {Joost Engelfriet},
  title        = {Reverse Twin Shuffles},
  journal      = {Bull. {EATCS}},
  volume       = {60},
  pages        = {144},
  year         = {1996},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Engelfriet96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/LipponenS96,
  author       = {Marjo Lipponen and
                  Arto Salomaa},
  title        = {Simple Words in Equality Sets},
  journal      = {Bull. {EATCS}},
  volume       = {60},
  pages        = {123--143},
  year         = {1996},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/LipponenS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Paun96,
  author       = {Gheorghe Paun},
  title        = {Computing by Splicing: How Simple Rules?},
  journal      = {Bull. {EATCS}},
  volume       = {60},
  pages        = {145--150},
  year         = {1996},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Paun96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/SchirmerK96,
  author       = {D. Schirmer and
                  Vladik Kreinovich},
  title        = {Towards a More Realistic Definition of Feasibility},
  journal      = {Bull. {EATCS}},
  volume       = {60},
  pages        = {151--153},
  year         = {1996},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/SchirmerK96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Seda96,
  author       = {Anthony Karel Seda},
  title        = {Quasi-Metrics and Fixed Points in Computing},
  journal      = {Bull. {EATCS}},
  volume       = {60},
  pages        = {154--163},
  year         = {1996},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Seda96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}