Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/tcs/AlvarezJ93,
  author       = {Carme {\`{A}}lvarez and
                  Birgit Jenner},
  title        = {A Very Hard log-Space Counting Class},
  journal      = {Theor. Comput. Sci.},
  volume       = {107},
  number       = {1},
  pages        = {3--30},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90252-O},
  doi          = {10.1016/0304-3975(93)90252-O},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AlvarezJ93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BedardLM93,
  author       = {Fran{\c{c}}ois B{\'{e}}dard and
                  Fran{\c{c}}ois Lemieux and
                  Pierre McKenzie},
  title        = {Extensions to Barrington's M-Program Model},
  journal      = {Theor. Comput. Sci.},
  volume       = {107},
  number       = {1},
  pages        = {31--61},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90253-P},
  doi          = {10.1016/0304-3975(93)90253-P},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BedardLM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BelliaO93,
  author       = {Marco Bellia and
                  M. Eugenia Occhiuto},
  title        = {C-Expressions: {A} Variable-Free Calculus for Equational Logic Programming},
  journal      = {Theor. Comput. Sci.},
  volume       = {107},
  number       = {2},
  pages        = {209--252},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90170-X},
  doi          = {10.1016/0304-3975(93)90170-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BelliaO93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/CortesiF93,
  author       = {Agostino Cortesi and
                  Gilberto Fil{\'{e}}},
  title        = {Graph Properties for Normal Logic Programs},
  journal      = {Theor. Comput. Sci.},
  volume       = {107},
  number       = {2},
  pages        = {277--303},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90172-P},
  doi          = {10.1016/0304-3975(93)90172-P},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/CortesiF93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Dowek93,
  author       = {Gilles Dowek},
  title        = {The Undecidability of Pattern Matching in Calculi Where Primitive
                  Recursive Functions are Representable},
  journal      = {Theor. Comput. Sci.},
  volume       = {107},
  number       = {2},
  pages        = {349--356},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90175-S},
  doi          = {10.1016/0304-3975(93)90175-S},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Dowek93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/HeimanNW93,
  author       = {Rafi Heiman and
                  Ilan Newman and
                  Avi Wigderson},
  title        = {On Read-Once Threshold Formulae and Their Randomized Decision in Tree
                  Complexity},
  journal      = {Theor. Comput. Sci.},
  volume       = {107},
  number       = {1},
  pages        = {63--76},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90254-Q},
  doi          = {10.1016/0304-3975(93)90254-Q},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/HeimanNW93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Hirokawa93,
  author       = {Sachio Hirokawa},
  title        = {Principal Types of BCK-lambda-Terms},
  journal      = {Theor. Comput. Sci.},
  volume       = {107},
  number       = {2},
  pages        = {253--276},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90171-O},
  doi          = {10.1016/0304-3975(93)90171-O},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Hirokawa93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Jacobs93,
  author       = {Bart Jacobs},
  title        = {Comprehension Categories and the Semantics of Type Dependency},
  journal      = {Theor. Comput. Sci.},
  volume       = {107},
  number       = {2},
  pages        = {169--207},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90169-T},
  doi          = {10.1016/0304-3975(93)90169-T},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Jacobs93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Lange93,
  author       = {Klaus{-}J{\"{o}}rn Lange},
  title        = {Unambiguity of Circuits},
  journal      = {Theor. Comput. Sci.},
  volume       = {107},
  number       = {1},
  pages        = {77--94},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90255-R},
  doi          = {10.1016/0304-3975(93)90255-R},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Lange93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/LutzS93,
  author       = {Jack H. Lutz and
                  William J. Schmidt},
  title        = {Circuit Size Relative to Pseudorandom Oracles},
  journal      = {Theor. Comput. Sci.},
  volume       = {107},
  number       = {1},
  pages        = {95--120},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90256-S},
  doi          = {10.1016/0304-3975(93)90256-S},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/LutzS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/MainB93,
  author       = {Michael G. Main and
                  David L. Black},
  title        = {Semantic Models for Total Correctness and Fairness},
  journal      = {Theor. Comput. Sci.},
  volume       = {107},
  number       = {2},
  pages        = {305--332},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90173-Q},
  doi          = {10.1016/0304-3975(93)90173-Q},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/MainB93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/MansourNT93,
  author       = {Yishay Mansour and
                  Noam Nisan and
                  Prasoon Tiwari},
  title        = {The Computational Complexity of Universal Hashing},
  journal      = {Theor. Comput. Sci.},
  volume       = {107},
  number       = {1},
  pages        = {121--133},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90257-T},
  doi          = {10.1016/0304-3975(93)90257-T},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/MansourNT93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/MilnerM93,
  author       = {Robin Milner and
                  Faron Moller},
  title        = {Unique Decomposition of Processes},
  journal      = {Theor. Comput. Sci.},
  volume       = {107},
  number       = {2},
  pages        = {357--363},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90176-T},
  doi          = {10.1016/0304-3975(93)90176-T},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/MilnerM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Nisan93,
  author       = {Noam Nisan},
  title        = {On Read-Once vs. Multiple Access to Randomness in Logspace},
  journal      = {Theor. Comput. Sci.},
  volume       = {107},
  number       = {1},
  pages        = {135--144},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90258-U},
  doi          = {10.1016/0304-3975(93)90258-U},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Nisan93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/PanconesiR93,
  author       = {Alessandro Panconesi and
                  Desh Ranjan},
  title        = {Quantifiers and Approximation},
  journal      = {Theor. Comput. Sci.},
  volume       = {107},
  number       = {1},
  pages        = {145--163},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90259-V},
  doi          = {10.1016/0304-3975(93)90259-V},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/PanconesiR93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/SreedharT93,
  author       = {Vugranam C. Sreedhar and
                  Kazem Taghva},
  title        = {Capturing Strong Reduction in Director String Calculus},
  journal      = {Theor. Comput. Sci.},
  volume       = {107},
  number       = {2},
  pages        = {333--347},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90174-R},
  doi          = {10.1016/0304-3975(93)90174-R},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/SreedharT93.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.