Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/eatcs/Chang90,
  author       = {Richard Chang},
  title        = {An Example of a Theorem that has Contradictory Relativization and
                  Diagonalization Proof},
  journal      = {Bull. {EATCS}},
  volume       = {42},
  pages        = {172--173},
  year         = {1990},
  timestamp    = {Tue, 14 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eatcs/Chang90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/ChangR90,
  author       = {Richard Chang and
                  Pankaj Rohatgi},
  title        = {On Unique Staisfiability and Randomized Reductions},
  journal      = {Bull. {EATCS}},
  volume       = {42},
  pages        = {151--159},
  year         = {1990},
  timestamp    = {Tue, 14 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eatcs/ChangR90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Edelsbrunner90,
  author       = {Herbert Edelsbrunner},
  title        = {The Computational Geometry Column},
  journal      = {Bull. {EATCS}},
  volume       = {42},
  pages        = {132--134},
  year         = {1990},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Edelsbrunner90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/EhrigA90,
  author       = {Hartmut Ehrig and
                  Michael A. Arbib},
  title        = {Linking Schemas and Module Specifications: {A} Proposal},
  journal      = {Bull. {EATCS}},
  volume       = {42},
  pages        = {135},
  year         = {1990},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/EhrigA90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Gurevich90,
  author       = {Yuri Gurevich},
  title        = {On the Classical Desicion Problem},
  journal      = {Bull. {EATCS}},
  volume       = {42},
  pages        = {140--150},
  year         = {1990},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Gurevich90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Lingas90,
  author       = {Andrzej Lingas},
  title        = {A Note on a Parallel Heuristic for Minimum},
  journal      = {Bull. {EATCS}},
  volume       = {42},
  pages        = {174--177},
  year         = {1990},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Lingas90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/SalomaaS90,
  author       = {Arto Salomaa and
                  Lila Santean},
  title        = {Secret Selling of Secrets with Several Buyers},
  journal      = {Bull. {EATCS}},
  volume       = {42},
  pages        = {178--186},
  year         = {1990},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/SalomaaS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Santeen90,
  author       = {Lila Santean},
  title        = {Parallel Communicating Systems},
  journal      = {Bull. {EATCS}},
  volume       = {42},
  pages        = {160--171},
  year         = {1990},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Santeen90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Socher-Ambrosius90,
  author       = {Rolf Socher{-}Ambrosius},
  title        = {Another Technique for Proving Completeness of Ground Resolution},
  journal      = {Bull. {EATCS}},
  volume       = {42},
  pages        = {187--189},
  year         = {1990},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Socher-Ambrosius90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Steward90,
  author       = {Iain A. Stewart},
  title        = {On The Graph Accessibility Problem for Directed Graphs of Bounded
                  Degree},
  journal      = {Bull. {EATCS}},
  volume       = {42},
  pages        = {190--193},
  year         = {1990},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Steward90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Urbanek90,
  author       = {Friedrich J. Urbanek},
  title        = {A Simple Completeness Proof for Early's Algorithm},
  journal      = {Bull. {EATCS}},
  volume       = {42},
  pages        = {194},
  year         = {1990},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Urbanek90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Whitty90,
  author       = {Robin W. Whitty},
  title        = {An Exercise in Weakest Preconditions},
  journal      = {Bull. {EATCS}},
  volume       = {42},
  pages        = {195--198},
  year         = {1990},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Whitty90.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.