Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/tcs/ApostolicoE93,
  author       = {Alberto Apostolico and
                  Andrzej Ehrenfeucht},
  title        = {Efficient Detection of Quasiperiodicities in Strings},
  journal      = {Theor. Comput. Sci.},
  volume       = {119},
  number       = {2},
  pages        = {247--265},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90159-Q},
  doi          = {10.1016/0304-3975(93)90159-Q},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ApostolicoE93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Barbar93,
  author       = {Kablan Barbar},
  title        = {Attributed Tree Grammars},
  journal      = {Theor. Comput. Sci.},
  volume       = {119},
  number       = {1},
  pages        = {3--22},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90337-S},
  doi          = {10.1016/0304-3975(93)90337-S},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Barbar93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Birget93,
  author       = {Jean{-}Camille Birget},
  title        = {Partial Orders on Words, Minimal Elements of Regular Languages and
                  State Complexity},
  journal      = {Theor. Comput. Sci.},
  volume       = {119},
  number       = {2},
  pages        = {267--291},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90160-U},
  doi          = {10.1016/0304-3975(93)90160-U},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Birget93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/CorsiniM93,
  author       = {Marc{-}Michel Corsini and
                  Kaninda Musumbu},
  title        = {Type Inference in Prolog: {A} New Approach},
  journal      = {Theor. Comput. Sci.},
  volume       = {119},
  number       = {1},
  pages        = {23--38},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90338-T},
  doi          = {10.1016/0304-3975(93)90338-T},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/CorsiniM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/DevienneLD93,
  author       = {Philippe Devienne and
                  Patrick Leb{\`{e}}gue and
                  Max Dauchet},
  title        = {Weighted Systems of Equations},
  journal      = {Theor. Comput. Sci.},
  volume       = {119},
  number       = {1},
  pages        = {39--62},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90339-U},
  doi          = {10.1016/0304-3975(93)90339-U},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/DevienneLD93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Dikovsky93,
  author       = {Alexander Ja. Dikovsky},
  title        = {On the Computational Complexity of Prolog Programs},
  journal      = {Theor. Comput. Sci.},
  volume       = {119},
  number       = {1},
  pages        = {63--102},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90340-Y},
  doi          = {10.1016/0304-3975(93)90340-Y},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Dikovsky93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Dosch93,
  author       = {Walter Dosch},
  title        = {On a Generalized Product of Domains},
  journal      = {Theor. Comput. Sci.},
  volume       = {119},
  number       = {1},
  pages        = {103--125},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90341-P},
  doi          = {10.1016/0304-3975(93)90341-P},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Dosch93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Habbas93,
  author       = {Zineb Habbas},
  title        = {A Compete Modal Proof for {HAL:} the Herbrand Agent Language},
  journal      = {Theor. Comput. Sci.},
  volume       = {119},
  number       = {1},
  pages        = {127--143},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90342-Q},
  doi          = {10.1016/0304-3975(93)90342-Q},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Habbas93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/JiangL93,
  author       = {Tao Jiang and
                  Ming Li},
  title        = {On the Complexity of Learning Strings and Sequences},
  journal      = {Theor. Comput. Sci.},
  volume       = {119},
  number       = {2},
  pages        = {363--371},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90167-R},
  doi          = {10.1016/0304-3975(93)90167-R},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/JiangL93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Kutylowski93,
  author       = {Miroslaw Kutylowski},
  title        = {Stack versus Sensitivity for One-Way Automata},
  journal      = {Theor. Comput. Sci.},
  volume       = {119},
  number       = {2},
  pages        = {233--245},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90158-P},
  doi          = {10.1016/0304-3975(93)90158-P},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Kutylowski93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/LetichevskyKK93,
  author       = {Alexander A. Letichevsky and
                  Julia V. Kapitonova and
                  S. V. Konozenko},
  title        = {Computations in {APS}},
  journal      = {Theor. Comput. Sci.},
  volume       = {119},
  number       = {1},
  pages        = {145--171},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90343-R},
  doi          = {10.1016/0304-3975(93)90343-R},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/LetichevskyKK93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/LitowD93,
  author       = {Bruce E. Litow and
                  Philippe Dumas},
  title        = {Additive Cellular Automata and Algebraic Series},
  journal      = {Theor. Comput. Sci.},
  volume       = {119},
  number       = {2},
  pages        = {345--354},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90165-P},
  doi          = {10.1016/0304-3975(93)90165-P},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/LitowD93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/NepomniaschyS93,
  author       = {Valery A. Nepomniaschy and
                  A. A. Sulimov},
  title        = {Problem-Oriented Verification System and its Application to Linear
                  Algebra Programs},
  journal      = {Theor. Comput. Sci.},
  volume       = {119},
  number       = {1},
  pages        = {173--185},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90344-S},
  doi          = {10.1016/0304-3975(93)90344-S},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/NepomniaschyS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/OommenN93,
  author       = {B. John Oommen and
                  David T. H. Ng},
  title        = {An Optimal Absorbing List Organization Strategy with Constant Memory
                  Requirements},
  journal      = {Theor. Comput. Sci.},
  volume       = {119},
  number       = {2},
  pages        = {355--361},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90166-Q},
  doi          = {10.1016/0304-3975(93)90166-Q},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/OommenN93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Sazonov93,
  author       = {Vladimir Yu. Sazonov},
  title        = {Hereditarily-Finite Sets, Data Bases and Polynomial-Time Computability},
  journal      = {Theor. Comput. Sci.},
  volume       = {119},
  number       = {1},
  pages        = {187--214},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90345-T},
  doi          = {10.1016/0304-3975(93)90345-T},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Sazonov93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Slissenko93,
  author       = {Anatol Slissenko},
  title        = {On Fault Tolerance of Syntax},
  journal      = {Theor. Comput. Sci.},
  volume       = {119},
  number       = {1},
  pages        = {215--222},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90346-U},
  doi          = {10.1016/0304-3975(93)90346-U},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Slissenko93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/StromquistU93,
  author       = {Walter Stromquist and
                  Daniel Ullman},
  title        = {Sequential Compounds of Combinatorial Games},
  journal      = {Theor. Comput. Sci.},
  volume       = {119},
  number       = {2},
  pages        = {311--321},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90162-M},
  doi          = {10.1016/0304-3975(93)90162-M},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/StromquistU93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/TamassiaT93,
  author       = {Roberto Tamassia and
                  Ioannis G. Tollis},
  title        = {Dynamic Reachability in Planar Digraphs with One Source and One Sink},
  journal      = {Theor. Comput. Sci.},
  volume       = {119},
  number       = {2},
  pages        = {331--343},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90164-O},
  doi          = {10.1016/0304-3975(93)90164-O},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/TamassiaT93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Valiev93,
  author       = {Mars K. Valiev},
  title        = {Product 1 over 1-Universality of Some Propositional Logics of Concurrent
                  Programs},
  journal      = {Theor. Comput. Sci.},
  volume       = {119},
  number       = {1},
  pages        = {223--232},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90347-V},
  doi          = {10.1016/0304-3975(93)90347-V},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Valiev93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Wolfe93,
  author       = {David Wolfe},
  title        = {Snakes in Domineering Games},
  journal      = {Theor. Comput. Sci.},
  volume       = {119},
  number       = {2},
  pages        = {323--329},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90163-N},
  doi          = {10.1016/0304-3975(93)90163-N},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Wolfe93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Zimand93,
  author       = {Marius Zimand},
  title        = {If not Empty, {NP} - {P} is Topologically Large},
  journal      = {Theor. Comput. Sci.},
  volume       = {119},
  number       = {2},
  pages        = {293--310},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90161-L},
  doi          = {10.1016/0304-3975(93)90161-L},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Zimand93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.