Search dblp for Publications

• > Home > Search

@article{DBLP:journals/tcs/BakerMT89,
  author       = {K. A. Baker and
                  George F. McNulty and
                  Walter Taylor},
  title        = {Growth Problems for Avoidable Words},
  journal      = {Theor. Comput. Sci.},
  volume       = {69},
  number       = {3},
  pages        = {319--345},
  year         = {1989},
  url          = {https://doi.org/10.1016/0304-3975(89)90071-6},
  doi          = {10.1016/0304-3975(89)90071-6},
  timestamp    = {Tue, 19 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/BakerMT89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/FalaschiLPM89,
  author       = {Moreno Falaschi and
                  Giorgio Levi and
                  Catuscia Palamidessi and
                  Maurizio Martelli},
  title        = {Declarative Modeling of the Operational Behavior of Logic Languages},
  journal      = {Theor. Comput. Sci.},
  volume       = {69},
  number       = {3},
  pages        = {289--318},
  year         = {1989},
  url          = {https://doi.org/10.1016/0304-3975(89)90070-4},
  doi          = {10.1016/0304-3975(89)90070-4},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/FalaschiLPM89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/FelleisenF89,
  author       = {Matthias Felleisen and
                  Daniel P. Friedman},
  title        = {A Syntactic Theory of Sequential State},
  journal      = {Theor. Comput. Sci.},
  volume       = {69},
  number       = {3},
  pages        = {243--287},
  year         = {1989},
  url          = {https://doi.org/10.1016/0304-3975(89)90069-8},
  doi          = {10.1016/0304-3975(89)90069-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/FelleisenF89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Kaplan89,
  author       = {S. Kaplan},
  title        = {Algebraic Specification of Concurrent Systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {69},
  number       = {1},
  pages        = {69--115},
  year         = {1989},
  url          = {https://doi.org/10.1016/0304-3975(89)90090-X},
  doi          = {10.1016/0304-3975(89)90090-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Kaplan89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Kerisit89,
  author       = {Jean{-}Marc Kerisit},
  title        = {A Relational Approach to Logic Programming: The Extended Alexander
                  Method},
  journal      = {Theor. Comput. Sci.},
  volume       = {69},
  number       = {1},
  pages        = {55--68},
  year         = {1989},
  timestamp    = {Fri, 26 Oct 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/Kerisit89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Nielson89,
  author       = {Flemming Nielson},
  title        = {Two-Level Semantics and Abstract Interpretation},
  journal      = {Theor. Comput. Sci.},
  volume       = {69},
  number       = {2},
  pages        = {117--242},
  year         = {1989},
  url          = {https://doi.org/10.1016/0304-3975(89)90091-1},
  doi          = {10.1016/0304-3975(89)90091-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Nielson89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Vieille89,
  author       = {Laurent Vieille},
  title        = {Recursive Query Processing: The Power of Logic},
  journal      = {Theor. Comput. Sci.},
  volume       = {69},
  number       = {1},
  pages        = {1--53},
  year         = {1989},
  url          = {https://doi.org/10.1016/0304-3975(89)90088-1},
  doi          = {10.1016/0304-3975(89)90088-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Vieille89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}