Search dblp for Publications

• > Home > Search

@article{DBLP:journals/tcs/AbramskyGN99,
  author       = {Samson Abramsky and
                  Simon J. Gay and
                  Rajagopal Nagarajan},
  title        = {A Specification Structure for Deadlock-Freedom of Synchronous Processes},
  journal      = {Theor. Comput. Sci.},
  volume       = {222},
  number       = {1-2},
  pages        = {1--53},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0304-3975(98)00189-3},
  doi          = {10.1016/S0304-3975(98)00189-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AbramskyGN99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/CaoB99,
  author       = {Feng Cao and
                  Al Borchers},
  title        = {Optimal Transmission Schedules for Lightwave Networks Embedded with
                  De Bruijn Graphs},
  journal      = {Theor. Comput. Sci.},
  volume       = {222},
  number       = {1-2},
  pages        = {113--131},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0304-3975(98)00105-4},
  doi          = {10.1016/S0304-3975(98)00105-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/CaoB99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/CegielskiR99,
  author       = {Patrick C{\'{e}}gielski and
                  Denis Richard},
  title        = {On Arithmetical First-Order Theories Allowing Encoding and Decoding
                  of Lists},
  journal      = {Theor. Comput. Sci.},
  volume       = {222},
  number       = {1-2},
  pages        = {55--75},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0304-3975(97)00281-8},
  doi          = {10.1016/S0304-3975(97)00281-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/CegielskiR99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Colson99,
  author       = {Lo{\"{\i}}c Colson},
  title        = {On Diagonal Fixed Points of Increasing Functions},
  journal      = {Theor. Comput. Sci.},
  volume       = {222},
  number       = {1-2},
  pages        = {181--186},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0304-3975(98)00331-4},
  doi          = {10.1016/S0304-3975(98)00331-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Colson99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/DufourdF99,
  author       = {Catherine Dufourd and
                  Alain Finkel},
  title        = {A Polynomial-Bisimilar Normalization for Reset Petri Nets},
  journal      = {Theor. Comput. Sci.},
  volume       = {222},
  number       = {1-2},
  pages        = {187--194},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0304-3975(98)00351-X},
  doi          = {10.1016/S0304-3975(98)00351-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/DufourdF99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/FileR99,
  author       = {Gilberto Fil{\'{e}} and
                  Francesco Ranzato},
  title        = {The Powerset Operator on Abstract Interpretations},
  journal      = {Theor. Comput. Sci.},
  volume       = {222},
  number       = {1-2},
  pages        = {77--111},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0304-3975(98)00007-3},
  doi          = {10.1016/S0304-3975(98)00007-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/FileR99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/GurevichV99,
  author       = {Yuri Gurevich and
                  Andrei Voronkov},
  title        = {Monadic Simultaneous Rigid E-unification},
  journal      = {Theor. Comput. Sci.},
  volume       = {222},
  number       = {1-2},
  pages        = {133--152},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0304-3975(98)00123-6},
  doi          = {10.1016/S0304-3975(98)00123-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/GurevichV99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Marchiori99,
  author       = {Elena Marchiori},
  title        = {Design of Abstract Domains Using First-Order Logic},
  journal      = {Theor. Comput. Sci.},
  volume       = {222},
  number       = {1-2},
  pages        = {153--179},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0304-3975(98)00231-X},
  doi          = {10.1016/S0304-3975(98)00231-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Marchiori99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}