Search dblp for Publications

export results for "toc:db/journals/tcs/tcs102.bht:"

 download as .bib file

@article{DBLP:journals/tcs/Bakel92,
  author       = {Steffen van Bakel},
  title        = {Complete Restrictions of the Intersection Type Discipline},
  journal      = {Theor. Comput. Sci.},
  volume       = {102},
  number       = {1},
  pages        = {135--163},
  year         = {1992},
  url          = {https://doi.org/10.1016/0304-3975(92)90297-S},
  doi          = {10.1016/0304-3975(92)90297-S},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Bakel92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Bruschi92,
  author       = {Danilo Bruschi},
  title        = {Strong Separations of the Polynomial Hierarchy with Oracles: Constructive
                  Separations by Immune and Simple Sets},
  journal      = {Theor. Comput. Sci.},
  volume       = {102},
  number       = {2},
  pages        = {215--252},
  year         = {1992},
  url          = {https://doi.org/10.1016/0304-3975(92)90232-5},
  doi          = {10.1016/0304-3975(92)90232-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Bruschi92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/DagumL92,
  author       = {Paul Dagum and
                  Michael Luby},
  title        = {Approximating the Permanent of Graphs with Large Factors},
  journal      = {Theor. Comput. Sci.},
  volume       = {102},
  number       = {2},
  pages        = {283--305},
  year         = {1992},
  url          = {https://doi.org/10.1016/0304-3975(92)90234-7},
  doi          = {10.1016/0304-3975(92)90234-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/DagumL92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Devillers92,
  author       = {Raymond R. Devillers},
  title        = {Maximality Preserving Bisimulation},
  journal      = {Theor. Comput. Sci.},
  volume       = {102},
  number       = {1},
  pages        = {165--183},
  year         = {1992},
  url          = {https://doi.org/10.1016/0304-3975(92)90298-T},
  doi          = {10.1016/0304-3975(92)90298-T},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Devillers92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Dosen92,
  author       = {Kosta Dosen},
  title        = {Nonmodal Classical Linear Predicate Logic is a Fragment of Intuitionistic
                  Linear Logic},
  journal      = {Theor. Comput. Sci.},
  volume       = {102},
  number       = {1},
  pages        = {207--214},
  year         = {1992},
  url          = {https://doi.org/10.1016/0304-3975(92)90300-5},
  doi          = {10.1016/0304-3975(92)90300-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Dosen92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/EsparzaS92,
  author       = {Javier Esparza and
                  Manuel Silva Su{\'{a}}rez},
  title        = {A Polynomial-Time Algorithm to Decide Liveness of Bounded Free Choice
                  Nets},
  journal      = {Theor. Comput. Sci.},
  volume       = {102},
  number       = {1},
  pages        = {185--205},
  year         = {1992},
  url          = {https://doi.org/10.1016/0304-3975(92)90299-U},
  doi          = {10.1016/0304-3975(92)90299-U},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/EsparzaS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Grue92,
  author       = {Klaus Grue},
  title        = {Map Theory},
  journal      = {Theor. Comput. Sci.},
  volume       = {102},
  number       = {1},
  pages        = {1--133},
  year         = {1992},
  url          = {https://doi.org/10.1016/0304-3975(92)90296-R},
  doi          = {10.1016/0304-3975(92)90296-R},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Grue92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/HalpennyS92,
  author       = {Liam Halpenny and
                  Christopher J. Smyth},
  title        = {A Classification of Minimal Standard-Path 2x2 Switching Networks},
  journal      = {Theor. Comput. Sci.},
  volume       = {102},
  number       = {2},
  pages        = {329--354},
  year         = {1992},
  url          = {https://doi.org/10.1016/0304-3975(92)90236-9},
  doi          = {10.1016/0304-3975(92)90236-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/HalpennyS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/MirwaldS92,
  author       = {Roland Mirwald and
                  Claus{-}Peter Schnorr},
  title        = {The Multiplicative Complexity of Quadratic Boolean Forms},
  journal      = {Theor. Comput. Sci.},
  volume       = {102},
  number       = {2},
  pages        = {307--328},
  year         = {1992},
  url          = {https://doi.org/10.1016/0304-3975(92)90235-8},
  doi          = {10.1016/0304-3975(92)90235-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/MirwaldS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/PrasadI92,
  author       = {Lakshman Prasad and
                  S. Sitharama Iyengar},
  title        = {An Asymptotic Equality for the Number of Necklaces in a Shuffle-Exchange
                  Network},
  journal      = {Theor. Comput. Sci.},
  volume       = {102},
  number       = {2},
  pages        = {355--365},
  year         = {1992},
  url          = {https://doi.org/10.1016/0304-3975(92)90237-A},
  doi          = {10.1016/0304-3975(92)90237-A},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/PrasadI92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Skubiszewski92,
  author       = {Marcin Skubiszewski},
  title        = {Binary Periodic Synchronizing Sequences},
  journal      = {Theor. Comput. Sci.},
  volume       = {102},
  number       = {2},
  pages        = {253--281},
  year         = {1992},
  url          = {https://doi.org/10.1016/0304-3975(92)90233-6},
  doi          = {10.1016/0304-3975(92)90233-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Skubiszewski92.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.