Search dblp for Publications

• > Home > Search

@article{DBLP:journals/tcs/Andrews97,
  author       = {James H. Andrews},
  title        = {A Logical Semantics for Depth-First Prolog with Ground Negation},
  journal      = {Theor. Comput. Sci.},
  volume       = {184},
  number       = {1-2},
  pages        = {105--143},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(96)00138-7},
  doi          = {10.1016/S0304-3975(96)00138-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Andrews97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BrogiLMM97,
  author       = {Antonio Brogi and
                  Evelina Lamma and
                  Paolo Mancarella and
                  Paola Mello},
  title        = {A Unifying View for Logic Programming with Non-Monotonic Reasoning},
  journal      = {Theor. Comput. Sci.},
  volume       = {184},
  number       = {1-2},
  pages        = {1--5},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(97)80755-4},
  doi          = {10.1016/S0304-3975(97)80755-4},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/BrogiLMM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BurmeisterRTV97,
  author       = {Peter Burmeister and
                  Francesc Rossell{\'{o}} and
                  Joan Torrens and
                  Gabriel Valiente},
  title        = {Algebraic Transformation of Unary Partial Algebras {I:} Double-Pushout
                  Approach},
  journal      = {Theor. Comput. Sci.},
  volume       = {184},
  number       = {1-2},
  pages        = {145--193},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(96)00139-9},
  doi          = {10.1016/S0304-3975(96)00139-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BurmeisterRTV97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Lacoste97,
  author       = {Thierry Lacoste},
  title        = {0-1 Laws by Preservation},
  journal      = {Theor. Comput. Sci.},
  volume       = {184},
  number       = {1-2},
  pages        = {237--245},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(97)00086-8},
  doi          = {10.1016/S0304-3975(97)00086-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Lacoste97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Su97,
  author       = {Jianwen Su},
  title        = {Dynamic Constraints and Object Migration},
  journal      = {Theor. Comput. Sci.},
  volume       = {184},
  number       = {1-2},
  pages        = {195--236},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(96)00142-9},
  doi          = {10.1016/S0304-3975(96)00142-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Su97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Wagner97,
  author       = {Kim Ritter Wagner},
  title        = {Liminf Convergence in Omega-Categories},
  journal      = {Theor. Comput. Sci.},
  volume       = {184},
  number       = {1-2},
  pages        = {61--104},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(96)00223-X},
  doi          = {10.1016/S0304-3975(96)00223-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Wagner97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}