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/tcs119.bht:"
download as .bib file
@article{DBLP:journals/tcs/ApostolicoE93,
author = {Alberto Apostolico and
Andrzej Ehrenfeucht},
title = {Efficient Detection of Quasiperiodicities in Strings},
journal = {Theor. Comput. Sci.},
volume = {119},
number = {2},
pages = {247--265},
year = {1993},
url = {https://doi.org/10.1016/0304-3975(93)90159-Q},
doi = {10.1016/0304-3975(93)90159-Q},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ApostolicoE93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Barbar93,
author = {Kablan Barbar},
title = {Attributed Tree Grammars},
journal = {Theor. Comput. Sci.},
volume = {119},
number = {1},
pages = {3--22},
year = {1993},
url = {https://doi.org/10.1016/0304-3975(93)90337-S},
doi = {10.1016/0304-3975(93)90337-S},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Barbar93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Birget93,
author = {Jean{-}Camille Birget},
title = {Partial Orders on Words, Minimal Elements of Regular Languages and
State Complexity},
journal = {Theor. Comput. Sci.},
volume = {119},
number = {2},
pages = {267--291},
year = {1993},
url = {https://doi.org/10.1016/0304-3975(93)90160-U},
doi = {10.1016/0304-3975(93)90160-U},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Birget93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CorsiniM93,
author = {Marc{-}Michel Corsini and
Kaninda Musumbu},
title = {Type Inference in Prolog: {A} New Approach},
journal = {Theor. Comput. Sci.},
volume = {119},
number = {1},
pages = {23--38},
year = {1993},
url = {https://doi.org/10.1016/0304-3975(93)90338-T},
doi = {10.1016/0304-3975(93)90338-T},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CorsiniM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DevienneLD93,
author = {Philippe Devienne and
Patrick Leb{\`{e}}gue and
Max Dauchet},
title = {Weighted Systems of Equations},
journal = {Theor. Comput. Sci.},
volume = {119},
number = {1},
pages = {39--62},
year = {1993},
url = {https://doi.org/10.1016/0304-3975(93)90339-U},
doi = {10.1016/0304-3975(93)90339-U},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DevienneLD93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Dikovsky93,
author = {Alexander Ja. Dikovsky},
title = {On the Computational Complexity of Prolog Programs},
journal = {Theor. Comput. Sci.},
volume = {119},
number = {1},
pages = {63--102},
year = {1993},
url = {https://doi.org/10.1016/0304-3975(93)90340-Y},
doi = {10.1016/0304-3975(93)90340-Y},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Dikovsky93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Dosch93,
author = {Walter Dosch},
title = {On a Generalized Product of Domains},
journal = {Theor. Comput. Sci.},
volume = {119},
number = {1},
pages = {103--125},
year = {1993},
url = {https://doi.org/10.1016/0304-3975(93)90341-P},
doi = {10.1016/0304-3975(93)90341-P},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Dosch93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Habbas93,
author = {Zineb Habbas},
title = {A Compete Modal Proof for {HAL:} the Herbrand Agent Language},
journal = {Theor. Comput. Sci.},
volume = {119},
number = {1},
pages = {127--143},
year = {1993},
url = {https://doi.org/10.1016/0304-3975(93)90342-Q},
doi = {10.1016/0304-3975(93)90342-Q},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Habbas93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/JiangL93,
author = {Tao Jiang and
Ming Li},
title = {On the Complexity of Learning Strings and Sequences},
journal = {Theor. Comput. Sci.},
volume = {119},
number = {2},
pages = {363--371},
year = {1993},
url = {https://doi.org/10.1016/0304-3975(93)90167-R},
doi = {10.1016/0304-3975(93)90167-R},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/JiangL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Kutylowski93,
author = {Miroslaw Kutylowski},
title = {Stack versus Sensitivity for One-Way Automata},
journal = {Theor. Comput. Sci.},
volume = {119},
number = {2},
pages = {233--245},
year = {1993},
url = {https://doi.org/10.1016/0304-3975(93)90158-P},
doi = {10.1016/0304-3975(93)90158-P},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Kutylowski93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LetichevskyKK93,
author = {Alexander A. Letichevsky and
Julia V. Kapitonova and
S. V. Konozenko},
title = {Computations in {APS}},
journal = {Theor. Comput. Sci.},
volume = {119},
number = {1},
pages = {145--171},
year = {1993},
url = {https://doi.org/10.1016/0304-3975(93)90343-R},
doi = {10.1016/0304-3975(93)90343-R},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LetichevskyKK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LitowD93,
author = {Bruce E. Litow and
Philippe Dumas},
title = {Additive Cellular Automata and Algebraic Series},
journal = {Theor. Comput. Sci.},
volume = {119},
number = {2},
pages = {345--354},
year = {1993},
url = {https://doi.org/10.1016/0304-3975(93)90165-P},
doi = {10.1016/0304-3975(93)90165-P},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LitowD93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/NepomniaschyS93,
author = {Valery A. Nepomniaschy and
A. A. Sulimov},
title = {Problem-Oriented Verification System and its Application to Linear
Algebra Programs},
journal = {Theor. Comput. Sci.},
volume = {119},
number = {1},
pages = {173--185},
year = {1993},
url = {https://doi.org/10.1016/0304-3975(93)90344-S},
doi = {10.1016/0304-3975(93)90344-S},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/NepomniaschyS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/OommenN93,
author = {B. John Oommen and
David T. H. Ng},
title = {An Optimal Absorbing List Organization Strategy with Constant Memory
Requirements},
journal = {Theor. Comput. Sci.},
volume = {119},
number = {2},
pages = {355--361},
year = {1993},
url = {https://doi.org/10.1016/0304-3975(93)90166-Q},
doi = {10.1016/0304-3975(93)90166-Q},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/OommenN93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Sazonov93,
author = {Vladimir Yu. Sazonov},
title = {Hereditarily-Finite Sets, Data Bases and Polynomial-Time Computability},
journal = {Theor. Comput. Sci.},
volume = {119},
number = {1},
pages = {187--214},
year = {1993},
url = {https://doi.org/10.1016/0304-3975(93)90345-T},
doi = {10.1016/0304-3975(93)90345-T},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Sazonov93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Slissenko93,
author = {Anatol Slissenko},
title = {On Fault Tolerance of Syntax},
journal = {Theor. Comput. Sci.},
volume = {119},
number = {1},
pages = {215--222},
year = {1993},
url = {https://doi.org/10.1016/0304-3975(93)90346-U},
doi = {10.1016/0304-3975(93)90346-U},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Slissenko93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/StromquistU93,
author = {Walter Stromquist and
Daniel Ullman},
title = {Sequential Compounds of Combinatorial Games},
journal = {Theor. Comput. Sci.},
volume = {119},
number = {2},
pages = {311--321},
year = {1993},
url = {https://doi.org/10.1016/0304-3975(93)90162-M},
doi = {10.1016/0304-3975(93)90162-M},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/StromquistU93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/TamassiaT93,
author = {Roberto Tamassia and
Ioannis G. Tollis},
title = {Dynamic Reachability in Planar Digraphs with One Source and One Sink},
journal = {Theor. Comput. Sci.},
volume = {119},
number = {2},
pages = {331--343},
year = {1993},
url = {https://doi.org/10.1016/0304-3975(93)90164-O},
doi = {10.1016/0304-3975(93)90164-O},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/TamassiaT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Valiev93,
author = {Mars K. Valiev},
title = {Product 1 over 1-Universality of Some Propositional Logics of Concurrent
Programs},
journal = {Theor. Comput. Sci.},
volume = {119},
number = {1},
pages = {223--232},
year = {1993},
url = {https://doi.org/10.1016/0304-3975(93)90347-V},
doi = {10.1016/0304-3975(93)90347-V},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Valiev93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Wolfe93,
author = {David Wolfe},
title = {Snakes in Domineering Games},
journal = {Theor. Comput. Sci.},
volume = {119},
number = {2},
pages = {323--329},
year = {1993},
url = {https://doi.org/10.1016/0304-3975(93)90163-N},
doi = {10.1016/0304-3975(93)90163-N},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Wolfe93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Zimand93,
author = {Marius Zimand},
title = {If not Empty, {NP} - {P} is Topologically Large},
journal = {Theor. Comput. Sci.},
volume = {119},
number = {2},
pages = {293--310},
year = {1993},
url = {https://doi.org/10.1016/0304-3975(93)90161-L},
doi = {10.1016/0304-3975(93)90161-L},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Zimand93.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-28 06:59 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:
