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/tcs95.bht:"
download as .bib file
@article{DBLP:journals/tcs/AklCF92,
author = {Selim G. Akl and
Michel Cosnard and
Afonso Ferreira},
title = {Data-Movement-Intensive Problems: Two Folk Theorems in Parallel Computation
Revisited},
journal = {Theor. Comput. Sci.},
volume = {95},
number = {2},
pages = {323--337},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90271-G},
doi = {10.1016/0304-3975(92)90271-G},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AklCF92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ArikawaSY92,
author = {Setsuo Arikawa and
Takeshi Shinohara and
Akihiro Yamamoto},
title = {Learning Elementary Formal Systems},
journal = {Theor. Comput. Sci.},
volume = {95},
number = {1},
pages = {97--113},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90068-Q},
doi = {10.1016/0304-3975(92)90068-Q},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ArikawaSY92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AusielloIMN92,
author = {Giorgio Ausiello and
Giuseppe F. Italiano and
Alberto Marchetti{-}Spaccamela and
Umberto Nanni},
title = {On-Line Computation of Minimal and Maximal Length Paths},
journal = {Theor. Comput. Sci.},
volume = {95},
number = {2},
pages = {245--261},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90267-J},
doi = {10.1016/0304-3975(92)90267-J},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AusielloIMN92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Beauquier92,
author = {Joffroy Beauquier},
title = {Two Distributed Problems Involving Byzantine Processes},
journal = {Theor. Comput. Sci.},
volume = {95},
number = {1},
pages = {169--185},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90072-N},
doi = {10.1016/0304-3975(92)90072-N},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Beauquier92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BellinK92,
author = {Gianluigi Bellin and
Jussi Ketonen},
title = {A Decision Procedure Revisited: Notes on Direct Logic, Linear Logic
and its Implementation},
journal = {Theor. Comput. Sci.},
volume = {95},
number = {1},
pages = {115--142},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90069-R},
doi = {10.1016/0304-3975(92)90069-R},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BellinK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GiordanoMR92,
author = {Laura Giordano and
Alberto Martelli and
Gianfranco Rossi},
title = {Extending Horn Clause Logic with Implication Goals},
journal = {Theor. Comput. Sci.},
volume = {95},
number = {1},
pages = {43--74},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90066-O},
doi = {10.1016/0304-3975(92)90066-O},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GiordanoMR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/JacobsMZ92,
author = {Bart Jacobs and
Ines Margaria and
Maddalena Zacchi},
title = {Filter Models with Polymorphic Types},
journal = {Theor. Comput. Sci.},
volume = {95},
number = {1},
pages = {143--148},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90070-V},
doi = {10.1016/0304-3975(92)90070-V},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/JacobsMZ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Ollagnier92,
author = {Jean Moulin Ollagnier},
title = {Proof of Dejean's Conjecture for Alphabets with 5, 6, 7, 8, 9, 10
and 11 Letters},
journal = {Theor. Comput. Sci.},
volume = {95},
number = {2},
pages = {187--205},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90264-G},
doi = {10.1016/0304-3975(92)90264-G},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Ollagnier92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Pierre92,
author = {Laurent Pierre},
title = {Rational Indexes of Generators of the Cone of Context-Free Languages},
journal = {Theor. Comput. Sci.},
volume = {95},
number = {2},
pages = {279--305},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90269-L},
doi = {10.1016/0304-3975(92)90269-L},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Pierre92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/QuintonR92,
author = {Patrice Quinton and
Yves Robert},
title = {Systolic Convolution of Arithmetic Functions},
journal = {Theor. Comput. Sci.},
volume = {95},
number = {2},
pages = {207--229},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90265-H},
doi = {10.1016/0304-3975(92)90265-H},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/QuintonR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/RabaniG92,
author = {Yuval Rabani and
Zvi Galil},
title = {On the Space Complexity of Some Algorithms for Sequence Comparison},
journal = {Theor. Comput. Sci.},
volume = {95},
number = {2},
pages = {231--244},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90266-I},
doi = {10.1016/0304-3975(92)90266-I},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/RabaniG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Sain92,
author = {Ildik{\'{o}} Sain},
title = {Temporal Logics Need Their Clocks},
journal = {Theor. Comput. Sci.},
volume = {95},
number = {1},
pages = {75--95},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90067-P},
doi = {10.1016/0304-3975(92)90067-P},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Sain92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Schwer92,
author = {Sylviane R. Schwer},
title = {Fine Covers of a {VAS} Language},
journal = {Theor. Comput. Sci.},
volume = {95},
number = {1},
pages = {159--168},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90071-M},
doi = {10.1016/0304-3975(92)90071-M},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Schwer92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ShankarA92,
author = {Priti Shankar and
B. S. Adiga},
title = {Corrigendum: {A} Graph-Based Regularity Test for Deterministic Context-Free
Languages},
journal = {Theor. Comput. Sci.},
volume = {95},
number = {2},
pages = {339--340},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90272-H},
doi = {10.1016/0304-3975(92)90272-H},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ShankarA92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Spencer92,
author = {Joel Spencer},
title = {Ulam's Searching Game with a Fixed Number of Lies},
journal = {Theor. Comput. Sci.},
volume = {95},
number = {2},
pages = {307--321},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90270-P},
doi = {10.1016/0304-3975(92)90270-P},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Spencer92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/VianuV92,
author = {Victor Vianu and
Gottfried Vossen},
title = {Conceptual Level Concurrency Control of Relational Update Transactions},
journal = {Theor. Comput. Sci.},
volume = {95},
number = {1},
pages = {1--42},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90065-N},
doi = {10.1016/0304-3975(92)90065-N},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/VianuV92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Zhang92a,
author = {Shuhua Zhang},
title = {Polynomial-Time Algorithms for Testing Strong Isomorphism and Computing
the Automorphism Group of R-Strongly Connected Automata},
journal = {Theor. Comput. Sci.},
volume = {95},
number = {2},
pages = {263--277},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90268-K},
doi = {10.1016/0304-3975(92)90268-K},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Zhang92a.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 03:32 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:
