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/tcs174.bht:"
download as .bib file
@article{DBLP:journals/tcs/AroraF97,
author = {Sanjeev Arora and
Ronald Fagin},
title = {On Winning Strategies in Ehrenfeucht-Fra{\"{\i}}ss{\'{e}}
Games},
journal = {Theor. Comput. Sci.},
volume = {174},
number = {1-2},
pages = {97--121},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00015-1},
doi = {10.1016/S0304-3975(96)00015-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AroraF97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BermanL97,
author = {Piotr Berman and
Andrzej Lingas},
title = {A Nearly Optimal Parallel Algorithm for the Voronoi Diagram of a Convex
Polygon},
journal = {Theor. Comput. Sci.},
volume = {174},
number = {1-2},
pages = {193--202},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00024-2},
doi = {10.1016/S0304-3975(96)00024-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BermanL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BrachoDK97,
author = {Felipe Bracho and
Manfred Droste and
Dietrich Kuske},
title = {Representation of Computations in Concurrent Automata by Dependence
Orders},
journal = {Theor. Comput. Sci.},
volume = {174},
number = {1-2},
pages = {67--96},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00012-6},
doi = {10.1016/S0304-3975(96)00012-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BrachoDK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FavatiLM97,
author = {Paola Favati and
Grazia Lotti and
Luciano Margara},
title = {Additive One-Dimensional Cellular Automata are Chaotic According to
Devaney's Definition of Chaos},
journal = {Theor. Comput. Sci.},
volume = {174},
number = {1-2},
pages = {157--170},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(95)00022-4},
doi = {10.1016/S0304-3975(95)00022-4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/FavatiLM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FinkelM97,
author = {Alain Finkel and
Pierre McKenzie},
title = {Verifying Identical Communicating Processes is Undecidable},
journal = {Theor. Comput. Sci.},
volume = {174},
number = {1-2},
pages = {217--230},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00026-6},
doi = {10.1016/S0304-3975(96)00026-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FinkelM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KobayashiY97,
author = {Satoshi Kobayashi and
Takashi Yokomori},
title = {Learning Approximately Regular Languages with Reversible Languages},
journal = {Theor. Comput. Sci.},
volume = {174},
number = {1-2},
pages = {251--257},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00224-1},
doi = {10.1016/S0304-3975(96)00224-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KobayashiY97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KrauseP97,
author = {Matthias Krause and
Pavel Pudl{\'{a}}k},
title = {On the Computational Power of Depth-2 Circuits with Threshold and
Modulo Gates},
journal = {Theor. Comput. Sci.},
volume = {174},
number = {1-2},
pages = {137--156},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00019-9},
doi = {10.1016/S0304-3975(96)00019-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KrauseP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Kurka97,
author = {Petr Kurka},
title = {On Topological Dynamics of Turing Machines},
journal = {Theor. Comput. Sci.},
volume = {174},
number = {1-2},
pages = {203--216},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00025-4},
doi = {10.1016/S0304-3975(96)00025-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Kurka97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LitovskyS97,
author = {Igor Litovsky and
Ludwig Staiger},
title = {Finite Acceptance of Infinite Words},
journal = {Theor. Comput. Sci.},
volume = {174},
number = {1-2},
pages = {1--21},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00006-0},
doi = {10.1016/S0304-3975(96)00006-0},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/LitovskyS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MaratheRHR97,
author = {Madhav V. Marathe and
Venkatesh Radhakrishnan and
Harry B. Hunt III and
S. S. Ravi},
title = {Hierarchically Specified Unit Disk Graphs},
journal = {Theor. Comput. Sci.},
volume = {174},
number = {1-2},
pages = {23--65},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00008-4},
doi = {10.1016/S0304-3975(96)00008-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MaratheRHR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Mullins97,
author = {John Mullins},
title = {On an Effective Hierarchy of Communicating Processes: Separation Principle
and Testing},
journal = {Theor. Comput. Sci.},
volume = {174},
number = {1-2},
pages = {231--246},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00027-8},
doi = {10.1016/S0304-3975(96)00027-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Mullins97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Orponen97,
author = {Pekka Orponen},
title = {Computing with Truly Asynchronous Threshold Logic Networks},
journal = {Theor. Comput. Sci.},
volume = {174},
number = {1-2},
pages = {123--136},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00017-5},
doi = {10.1016/S0304-3975(96)00017-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Orponen97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Santini-Bouchard97,
author = {Marie{-}Line Santini{-}Bouchard},
title = {Echanges de trois intervalles et suites minimales},
journal = {Theor. Comput. Sci.},
volume = {174},
number = {1-2},
pages = {171--191},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00023-0},
doi = {10.1016/S0304-3975(96)00023-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Santini-Bouchard97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Takahashi97,
author = {Nobuyuki Takahashi},
title = {Various Hierarchies of omega-regular Sets},
journal = {Theor. Comput. Sci.},
volume = {174},
number = {1-2},
pages = {259--268},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00245-9},
doi = {10.1016/S0304-3975(96)00245-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Takahashi97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Turakainen97,
author = {Paavo Turakainen},
title = {The Undecidability of Some Equivalence Problems Concerning NGSM's
and Finite Substitutions},
journal = {Theor. Comput. Sci.},
volume = {174},
number = {1-2},
pages = {269--274},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00246-0},
doi = {10.1016/S0304-3975(96)00246-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Turakainen97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Yamasaki97,
author = {Yohei Yamasaki},
title = {The Arithmetic of Reversed Positional Games},
journal = {Theor. Comput. Sci.},
volume = {174},
number = {1-2},
pages = {247--249},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00156-9},
doi = {10.1016/S0304-3975(96)00156-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Yamasaki97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ZhangC97,
author = {Guo{-}Qiang Zhang and
E. Rodney Canfield},
title = {The End of Pumping?},
journal = {Theor. Comput. Sci.},
volume = {174},
number = {1-2},
pages = {275--279},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00247-2},
doi = {10.1016/S0304-3975(96)00247-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ZhangC97.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-16 15:02 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:
