default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch 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}
}
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.
retrieved on 2024-11-22 14:52 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
