Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/tcs/Allouche94,
  author       = {Jean{-}Paul Allouche},
  title        = {Note on the Cyclic Towers of Hanoi},
  journal      = {Theor. Comput. Sci.},
  volume       = {123},
  number       = {1},
  pages        = {3--7},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(94)90064-7},
  doi          = {10.1016/0304-3975(94)90064-7},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/Allouche94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/AokiST94,
  author       = {Kunimasa Aoki and
                  Juichi Shinoda and
                  Teruko Tsuda},
  title        = {On Pi{\_}2 Theories of hp-T Degrees of Low Sets},
  journal      = {Theor. Comput. Sci.},
  volume       = {123},
  number       = {2},
  pages        = {315--327},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(92)00077-5},
  doi          = {10.1016/0304-3975(92)00077-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AokiST94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/AssousBCR94,
  author       = {Marc Roland Assous and
                  Vincent Bouchitt{\'{e}} and
                  Christine Charretton and
                  Brigitte Rozoy},
  title        = {Finite Labelling Problem in Event Structures},
  journal      = {Theor. Comput. Sci.},
  volume       = {123},
  number       = {1},
  pages        = {9--19},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(94)90065-5},
  doi          = {10.1016/0304-3975(94)90065-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AssousBCR94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Bennett94,
  author       = {Grahame Bennett},
  title        = {Double Dipping: the Case of the Missing Binomial Coefficient Identities},
  journal      = {Theor. Comput. Sci.},
  volume       = {123},
  number       = {2},
  pages        = {351--375},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(94)90133-3},
  doi          = {10.1016/0304-3975(94)90133-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Bennett94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Bertrand94,
  author       = {A. Bertrand},
  title        = {Sur une conjecture d'Yves M{\'{e}}tivier},
  journal      = {Theor. Comput. Sci.},
  volume       = {123},
  number       = {1},
  pages        = {21--30},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(94)90066-3},
  doi          = {10.1016/0304-3975(94)90066-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Bertrand94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Bertrand94a,
  author       = {Claude Bertrand},
  title        = {A Natural Semantics of First-Order Type Dependency},
  journal      = {Theor. Comput. Sci.},
  volume       = {123},
  number       = {1},
  pages        = {31--53},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(94)90067-1},
  doi          = {10.1016/0304-3975(94)90067-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Bertrand94a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BirgetMM94,
  author       = {Jean{-}Camille Birget and
                  Stuart W. Margolis and
                  John C. Meakin},
  title        = {The Word Problem for Inverse Monoids Presented by One Idempotent Relator},
  journal      = {Theor. Comput. Sci.},
  volume       = {123},
  number       = {2},
  pages        = {273--289},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(92)00063-W},
  doi          = {10.1016/0304-3975(92)00063-W},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BirgetMM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BlanchardF94,
  author       = {Fran{\c{c}}ois Blanchard and
                  S. Fabre},
  title        = {Quelques proc{\'{e}}d{\'{e}}s engendrant des suites infinies},
  journal      = {Theor. Comput. Sci.},
  volume       = {123},
  number       = {1},
  pages        = {55--60},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(94)90068-X},
  doi          = {10.1016/0304-3975(94)90068-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BlanchardF94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Blanchet-Sadri94,
  author       = {Francine Blanchet{-}Sadri},
  title        = {Equations and Monoid Varieties of Dot-Depth One and Two},
  journal      = {Theor. Comput. Sci.},
  volume       = {123},
  number       = {2},
  pages        = {239--258},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(92)00064-X},
  doi          = {10.1016/0304-3975(92)00064-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Blanchet-Sadri94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Borel94,
  author       = {Jean{-}Pierre Borel},
  title        = {Symbolic Representation of Piecewise Linear Functions on the Unit
                  Interval and Application to Discrepancy},
  journal      = {Theor. Comput. Sci.},
  volume       = {123},
  number       = {1},
  pages        = {61--87},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(94)90069-8},
  doi          = {10.1016/0304-3975(94)90069-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Borel94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Burckel94,
  author       = {Serge Burckel},
  title        = {Functional Equations Associated with Congruential Functions},
  journal      = {Theor. Comput. Sci.},
  volume       = {123},
  number       = {2},
  pages        = {397--406},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(94)90136-8},
  doi          = {10.1016/0304-3975(94)90136-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Burckel94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/ChaunierL94,
  author       = {Claude Chaunier and
                  Nik Lygeros},
  title        = {Le nombre de posets {\`{a}} isomorphie pr{\`{e}}s ayant 12 {\`{e}}l{\`{e}}ments},
  journal      = {Theor. Comput. Sci.},
  volume       = {123},
  number       = {1},
  pages        = {89--94},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(94)90070-1},
  doi          = {10.1016/0304-3975(94)90070-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ChaunierL94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/ClerboutG94,
  author       = {Mireille Clerbout and
                  D. Gonzalez},
  title        = {Atomic Semicommutations},
  journal      = {Theor. Comput. Sci.},
  volume       = {123},
  number       = {2},
  pages        = {259--272},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(92)00066-Z},
  doi          = {10.1016/0304-3975(92)00066-Z},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ClerboutG94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/DaudeV94,
  author       = {Herv{\'{e}} Daud{\'{e}} and
                  Brigitte Vall{\'{e}}e},
  title        = {An Upper Bound on the Average Number of Iterations of the {LLL} Algorithm},
  journal      = {Theor. Comput. Sci.},
  volume       = {123},
  number       = {1},
  pages        = {95--115},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(94)90071-X},
  doi          = {10.1016/0304-3975(94)90071-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/DaudeV94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/DuvalS94,
  author       = {Dominique Duval and
                  Pascale S{\'{e}}n{\'{e}}chaud},
  title        = {Sketches and Parametrization},
  journal      = {Theor. Comput. Sci.},
  volume       = {123},
  number       = {1},
  pages        = {117--130},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(94)90072-8},
  doi          = {10.1016/0304-3975(94)90072-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/DuvalS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Faure94,
  author       = {Henri Faure},
  title        = {M{\'{e}}thodes quasi-Monte-Carlo multidimensionnelles},
  journal      = {Theor. Comput. Sci.},
  volume       = {123},
  number       = {1},
  pages        = {131--137},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(94)90073-6},
  doi          = {10.1016/0304-3975(94)90073-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Faure94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/FlajoletGKPT94,
  author       = {Philippe Flajolet and
                  Peter J. Grabner and
                  Peter Kirschenhofer and
                  Helmut Prodinger and
                  Robert F. Tichy},
  title        = {Mellin Transforms and Asymptotics: Digital Sums},
  journal      = {Theor. Comput. Sci.},
  volume       = {123},
  number       = {2},
  pages        = {291--314},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(92)00065-Y},
  doi          = {10.1016/0304-3975(92)00065-Y},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/FlajoletGKPT94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/HemaspaandraH94,
  author       = {Edith Hemaspaandra and
                  Lane A. Hemaspaandra},
  title        = {Quasi-injective Reductions},
  journal      = {Theor. Comput. Sci.},
  volume       = {123},
  number       = {2},
  pages        = {407--413},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(94)90137-6},
  doi          = {10.1016/0304-3975(94)90137-6},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/HemaspaandraH94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/HuynhT94,
  author       = {Dung T. Huynh and
                  Lu Tian},
  title        = {Deciding Bisimilarity of Normed Context-Free Processes is in Sigmap{\_}2},
  journal      = {Theor. Comput. Sci.},
  volume       = {123},
  number       = {2},
  pages        = {183--197},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(92)00078-6},
  doi          = {10.1016/0304-3975(92)00078-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/HuynhT94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/IwataK94,
  author       = {Shigeki Iwata and
                  Takumi Kasai},
  title        = {The Othello game on an n*n board is PSPACE-complete},
  journal      = {Theor. Comput. Sci.},
  volume       = {123},
  number       = {2},
  pages        = {329--340},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(94)90131-7},
  doi          = {10.1016/0304-3975(94)90131-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/IwataK94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Klawe94,
  author       = {Maria M. Klawe},
  title        = {Shallow Grates},
  journal      = {Theor. Comput. Sci.},
  volume       = {123},
  number       = {2},
  pages        = {389--395},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(94)90135-X},
  doi          = {10.1016/0304-3975(94)90135-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Klawe94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Kowalski94,
  author       = {Zbigniew S. Kowalski},
  title        = {Multiple Returns Under a Bounded Number of Iterations},
  journal      = {Theor. Comput. Sci.},
  volume       = {123},
  number       = {1},
  pages        = {139--144},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(94)90074-4},
  doi          = {10.1016/0304-3975(94)90074-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Kowalski94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/KozenZ94,
  author       = {Dexter Kozen and
                  Shmuel Zaks},
  title        = {Optimal Bounds for the Change-Making Problem},
  journal      = {Theor. Comput. Sci.},
  volume       = {123},
  number       = {2},
  pages        = {377--388},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(94)90134-1},
  doi          = {10.1016/0304-3975(94)90134-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/KozenZ94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Martin94,
  author       = {Bruno Martin},
  title        = {A Universal Cellular Automaton in Quasi-Linear Time and its S-m-n
                  Form},
  journal      = {Theor. Comput. Sci.},
  volume       = {123},
  number       = {2},
  pages        = {199--237},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(92)00076-4},
  doi          = {10.1016/0304-3975(92)00076-4},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/Martin94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Mey94,
  author       = {Daniel Mey},
  title        = {Finite Games for a Predicate Logic Without Contractions},
  journal      = {Theor. Comput. Sci.},
  volume       = {123},
  number       = {2},
  pages        = {341--349},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(94)90132-5},
  doi          = {10.1016/0304-3975(94)90132-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Mey94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Mignotte94,
  author       = {Maurice Mignotte},
  title        = {Sur l'{\'{e}}quation de Catalan, {II}},
  journal      = {Theor. Comput. Sci.},
  volume       = {123},
  number       = {1},
  pages        = {145--149},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(94)90075-2},
  doi          = {10.1016/0304-3975(94)90075-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Mignotte94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/MonienRS94,
  author       = {Burkhard Monien and
                  Wojciech Rytter and
                  Helmut Sch{\"{a}}pers},
  title        = {Corrigendum: Fast Recognition of Deterministic CFL's with a Smaller
                  Number of Processors},
  journal      = {Theor. Comput. Sci.},
  volume       = {123},
  number       = {2},
  pages        = {427--428},
  year         = {1994},
  timestamp    = {Fri, 28 Sep 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/MonienRS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Nishimura94,
  author       = {Naomi Nishimura},
  title        = {Restricted {CRCW} {PRAM}},
  journal      = {Theor. Comput. Sci.},
  volume       = {123},
  number       = {2},
  pages        = {415--426},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(94)90138-4},
  doi          = {10.1016/0304-3975(94)90138-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Nishimura94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Remila94,
  author       = {Eric R{\'{e}}mila},
  title        = {A Linear Algorithm to Tile the Trapezes with h{\_}m and v{\_}n},
  journal      = {Theor. Comput. Sci.},
  volume       = {123},
  number       = {1},
  pages        = {151--165},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(94)90076-0},
  doi          = {10.1016/0304-3975(94)90076-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Remila94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Ye94,
  author       = {Xiangdong Ye},
  title        = {Coexistence of Uniquely Ergodic Subsystems of Interval Mapping},
  journal      = {Theor. Comput. Sci.},
  volume       = {123},
  number       = {1},
  pages        = {167--181},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(94)90077-9},
  doi          = {10.1016/0304-3975(94)90077-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Ye94.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.