Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/tcs/tcs129.bht:"
download as .bib file
@article{DBLP:journals/tcs/AbrahamM94,
author = {Uri Abraham and
Menachem Magidor},
title = {On the Mutual-Exclusion Problem - {A} Quest for Minimal Solutions},
journal = {Theor. Comput. Sci.},
volume = {129},
number = {1},
pages = {1--38},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90079-5},
doi = {10.1016/0304-3975(94)90079-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AbrahamM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AlloucheB94,
author = {Jean{-}Paul Allouche and
Mireille Bousquet{-}M{\'{e}}lou},
title = {Canonical Positions for the Factors in Paperfolding Sequences},
journal = {Theor. Comput. Sci.},
volume = {129},
number = {2},
pages = {263--278},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90028-0},
doi = {10.1016/0304-3975(94)90028-0},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/AlloucheB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Banach94,
author = {Richard Banach},
title = {Regular Relations and Bicartesian Squares},
journal = {Theor. Comput. Sci.},
volume = {129},
number = {1},
pages = {187--192},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90086-8},
doi = {10.1016/0304-3975(94)90086-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Banach94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ChenL94,
author = {Cheng{-}Chia Chen and
I{-}Peng Lin},
title = {The Computational Complexity of the Satisfiability of Modal Horn Clauses
for Modal Propositional Logics},
journal = {Theor. Comput. Sci.},
volume = {129},
number = {1},
pages = {95--121},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90082-5},
doi = {10.1016/0304-3975(94)90082-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ChenL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DelyonM94,
author = {Bernard Delyon and
Oded Maler},
title = {On the Effects of Noise and Speed on Computations},
journal = {Theor. Comput. Sci.},
volume = {129},
number = {2},
pages = {279--291},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90029-9},
doi = {10.1016/0304-3975(94)90029-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DelyonM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DeutzER94a,
author = {Andr{\'{e}} H. Deutz and
Andrzej Ehrenfeucht and
Grzegorz Rozenberg},
title = {Clans and Regions in 2-Structures},
journal = {Theor. Comput. Sci.},
volume = {129},
number = {2},
pages = {207--262},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90027-2},
doi = {10.1016/0304-3975(94)90027-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DeutzER94a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/EgeciogluK94,
author = {{\"{O}}mer Egecioglu and
{\c{C}}etin Kaya Ko{\c{c}}},
title = {Exponentiation Using Canonical Recoding},
journal = {Theor. Comput. Sci.},
volume = {129},
number = {2},
pages = {407--417},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90037-X},
doi = {10.1016/0304-3975(94)90037-X},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/EgeciogluK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Ferenczi94,
author = {S{\'{e}}bastien Ferenczi},
title = {Tiling and Local Rank Properties of the Morse Sequence},
journal = {Theor. Comput. Sci.},
volume = {129},
number = {2},
pages = {369--383},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90034-5},
doi = {10.1016/0304-3975(94)90034-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Ferenczi94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Ganesan94,
author = {K. Ganesan},
title = {One-Way Functions and the Isomorphism Conjecture},
journal = {Theor. Comput. Sci.},
volume = {129},
number = {2},
pages = {309--321},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90031-0},
doi = {10.1016/0304-3975(94)90031-0},
timestamp = {Wed, 17 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Ganesan94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/JaJaR94,
author = {Joseph F. J{\'{a}}J{\'{a}} and
Kwan Woo Ryu},
title = {An Efficient Parallel Algorithm for the Single Function Coarsest Partition
Problem},
journal = {Theor. Comput. Sci.},
volume = {129},
number = {2},
pages = {293--307},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90030-2},
doi = {10.1016/0304-3975(94)90030-2},
timestamp = {Fri, 02 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/JaJaR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KnuutilaS94,
author = {Timo Knuutila and
Magnus Steinby},
title = {The Inference of Tree Languages from Finite Samples: An Algebraic
Approach},
journal = {Theor. Comput. Sci.},
volume = {129},
number = {2},
pages = {337--367},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90033-7},
doi = {10.1016/0304-3975(94)90033-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KnuutilaS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Krivine94,
author = {Jean{-}Louis Krivine},
title = {A General Storage Theorem for Integers in Call-by-Name lambda-Calculus},
journal = {Theor. Comput. Sci.},
volume = {129},
number = {1},
pages = {79--94},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90081-7},
doi = {10.1016/0304-3975(94)90081-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Krivine94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Margenstern94,
author = {Maurice Margenstern},
title = {Nonerasing Turing Machines: {A} Frontier Between a Decidable Halting
Problem and Universality},
journal = {Theor. Comput. Sci.},
volume = {129},
number = {2},
pages = {419--424},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90038-8},
doi = {10.1016/0304-3975(94)90038-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Margenstern94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Ognjanovic94,
author = {Zoran Ognjanovic},
title = {A Tableau-Like Proof Procedure for Normal Modal Logics},
journal = {Theor. Comput. Sci.},
volume = {129},
number = {1},
pages = {167--186},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90085-X},
doi = {10.1016/0304-3975(94)90085-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Ognjanovic94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/RichS94,
author = {Craig A. Rich and
Giora Slutzki},
title = {The Complexity of Optimizing Finite-State Transducers},
journal = {Theor. Comput. Sci.},
volume = {129},
number = {2},
pages = {323--336},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90032-9},
doi = {10.1016/0304-3975(94)90032-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/RichS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Scheepers94,
author = {Marion Scheepers},
title = {Variations on a Game of Gale {(II):} Markov Strategies},
journal = {Theor. Comput. Sci.},
volume = {129},
number = {2},
pages = {385--396},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90035-3},
doi = {10.1016/0304-3975(94)90035-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Scheepers94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Shepherdson94,
author = {John C. Shepherdson},
title = {The Role of Standardising Apart in Logic Programming},
journal = {Theor. Comput. Sci.},
volume = {129},
number = {1},
pages = {143--142},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90084-1},
doi = {10.1016/0304-3975(94)90084-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Shepherdson94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Wei94,
author = {Jiawang Wei},
title = {Correctness of Fixpoint Transformations},
journal = {Theor. Comput. Sci.},
volume = {129},
number = {1},
pages = {123--142},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90083-3},
doi = {10.1016/0304-3975(94)90083-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Wei94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Yellin94,
author = {Daniel M. Yellin},
title = {An Algorithm for Dynamic Subset and Intersection Testing},
journal = {Theor. Comput. Sci.},
volume = {129},
number = {2},
pages = {397--406},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90036-1},
doi = {10.1016/0304-3975(94)90036-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Yellin94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Yokouchi94,
author = {Hirofumi Yokouchi},
title = {F-Semantics for Type Assignment Systems},
journal = {Theor. Comput. Sci.},
volume = {129},
number = {1},
pages = {39--77},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90080-9},
doi = {10.1016/0304-3975(94)90080-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Yokouchi94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Zhang94,
author = {Wenhui Zhang},
title = {Depth of Proofs, Depth of Cut-Formulas and Complexity of Cut Formulas},
journal = {Theor. Comput. Sci.},
volume = {129},
number = {1},
pages = {193--206},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90087-6},
doi = {10.1016/0304-3975(94)90087-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Zhang94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-05-06 02:22 CEST 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:
