Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/eatcs/BuffoliAM95,
  author       = {F. Buffoli and
                  G. Degli Antoni and
                  A. Marchese},
  title        = {OR-Parallellism in Theorem Proving: Speedups versus Timeout},
  journal      = {Bull. {EATCS}},
  volume       = {55},
  year         = {1995},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/BuffoliAM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Grosse-Rhode95,
  author       = {Martin Gro{\ss}e{-}Rhode},
  title        = {Transition Specifications for Dynamic Abstract Data Type},
  journal      = {Bull. {EATCS}},
  volume       = {55},
  year         = {1995},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Grosse-Rhode95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Gurevich95a,
  author       = {Yuri Gurevich},
  title        = {The Value, if any, of Decidability},
  journal      = {Bull. {EATCS}},
  volume       = {55},
  year         = {1995},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Gurevich95a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Hartmanis95,
  author       = {Juris Hartmanis},
  title        = {On the Weight of Computations},
  journal      = {Bull. {EATCS}},
  volume       = {55},
  year         = {1995},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Hartmanis95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/LehikoinenM95,
  author       = {Juha Lehikoinen and
                  Erkki M{\"{a}}kinen},
  title        = {A New Distance-based Coding Method For Binary Trees},
  journal      = {Bull. {EATCS}},
  volume       = {55},
  year         = {1995},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/LehikoinenM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Parrow95,
  author       = {Joachim Parrow},
  title        = {Concurrency without Homotopy},
  journal      = {Bull. {EATCS}},
  volume       = {55},
  year         = {1995},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Parrow95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Salomaa95a,
  author       = {Arto Salomaa},
  title        = {Return to Patterns},
  journal      = {Bull. {EATCS}},
  volume       = {55},
  year         = {1995},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Salomaa95a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.