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/tcs403.bht:"
download as .bib file
@article{DBLP:journals/tcs/BaazHLRS08,
author = {Matthias Baaz and
Stefan Hetzl and
Alexander Leitsch and
Clemens Richter and
Hendrik Spohr},
title = {{CERES:} An analysis of F{\"{u}}rstenberg's proof of the infinity
of primes},
journal = {Theor. Comput. Sci.},
volume = {403},
number = {2-3},
pages = {160--175},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.02.043},
doi = {10.1016/J.TCS.2008.02.043},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BaazHLRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BerardCHLR08,
author = {B{\'{e}}atrice B{\'{e}}rard and
Franck Cassez and
Serge Haddad and
Didier Lime and
Olivier H. Roux},
title = {When are Timed Automata weakly timed bisimilar to Time Petri Nets?},
journal = {Theor. Comput. Sci.},
volume = {403},
number = {2-3},
pages = {202--220},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.03.030},
doi = {10.1016/J.TCS.2008.03.030},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BerardCHLR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BorisovskyE08,
author = {Pavel A. Borisovsky and
Anton V. Eremeev},
title = {Comparing evolutionary algorithms to the {(1+1)-EA}},
journal = {Theor. Comput. Sci.},
volume = {403},
number = {1},
pages = {33--41},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.03.008},
doi = {10.1016/J.TCS.2008.03.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BorisovskyE08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BozzelliTP08,
author = {Laura Bozzelli and
Salvatore La Torre and
Adriano Peron},
title = {Verification of well-formed communicating recursive state machines},
journal = {Theor. Comput. Sci.},
volume = {403},
number = {2-3},
pages = {382--405},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.06.012},
doi = {10.1016/J.TCS.2008.06.012},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BozzelliTP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CalvesF08,
author = {Christophe Calv{\`{e}}s and
Maribel Fern{\'{a}}ndez},
title = {A polynomial nominal unification algorithm},
journal = {Theor. Comput. Sci.},
volume = {403},
number = {2-3},
pages = {285--306},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.05.012},
doi = {10.1016/J.TCS.2008.05.012},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/CalvesF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CiabattoniM08,
author = {Agata Ciabattoni and
George Metcalfe},
title = {Density elimination},
journal = {Theor. Comput. Sci.},
volume = {403},
number = {2-3},
pages = {328--346},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.05.019},
doi = {10.1016/J.TCS.2008.05.019},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/CiabattoniM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Dufourd08,
author = {Jean{-}Fran{\c{c}}ois Dufourd},
title = {Polyhedra genus theorem and Euler formula: {A} hypermap-formalized
intuitionistic proof},
journal = {Theor. Comput. Sci.},
volume = {403},
number = {2-3},
pages = {133--159},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.02.012},
doi = {10.1016/J.TCS.2008.02.012},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Dufourd08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/EhrhardR08,
author = {Thomas Ehrhard and
Laurent Regnier},
title = {Uniformity and the Taylor expansion of ordinary lambda-terms},
journal = {Theor. Comput. Sci.},
volume = {403},
number = {2-3},
pages = {347--372},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.06.001},
doi = {10.1016/J.TCS.2008.06.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/EhrhardR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FagesS08,
author = {Fran{\c{c}}ois Fages and
Sylvain Soliman},
title = {Abstract interpretation and types for systems biology},
journal = {Theor. Comput. Sci.},
volume = {403},
number = {1},
pages = {52--70},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.04.024},
doi = {10.1016/J.TCS.2008.04.024},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FagesS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FoucheHJP08,
author = {Willem L. Fouch{\'{e}} and
Johannes Heidema and
Glyn Jones and
Petrus H. Potgieter},
title = {Universality and programmability of quantum computers},
journal = {Theor. Comput. Sci.},
volume = {403},
number = {1},
pages = {121--129},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.05.007},
doi = {10.1016/J.TCS.2008.05.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FoucheHJP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/IpateH08,
author = {Florentin Ipate and
Mike Holcombe},
title = {Testing data processing-oriented systems from stream X-machine models},
journal = {Theor. Comput. Sci.},
volume = {403},
number = {2-3},
pages = {176--191},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.02.045},
doi = {10.1016/J.TCS.2008.02.045},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/IpateH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KhanP08,
author = {Faisal Shah Khan and
Marek A. Perkowski},
title = {Erratum to: "Synthesis of multi-qudit hybrid and d-valued quantum
logic circuits by decomposition" {[TCS} 367 {(3)} {(2006)} 336-346]},
journal = {Theor. Comput. Sci.},
volume = {403},
number = {1},
pages = {130--131},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.03.022},
doi = {10.1016/J.TCS.2008.03.022},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KhanP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LiQ08,
author = {Lvzhou Li and
Daowen Qiu},
title = {Determining the equivalence for one-way quantum finite automata},
journal = {Theor. Comput. Sci.},
volume = {403},
number = {1},
pages = {42--51},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.03.021},
doi = {10.1016/J.TCS.2008.03.021},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LiQ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LiY08,
author = {Sanjiang Li and
Mingsheng Ying},
title = {Soft constraint abstraction based on semiring homomorphism},
journal = {Theor. Comput. Sci.},
volume = {403},
number = {2-3},
pages = {192--201},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.03.029},
doi = {10.1016/J.TCS.2008.03.029},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LiY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MeseguerPM08,
author = {Jos{\'{e}} Meseguer and
Miguel Palomino and
Narciso Mart{\'{\i}}{-}Oliet},
title = {Equational abstractions},
journal = {Theor. Comput. Sci.},
volume = {403},
number = {2-3},
pages = {239--264},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.04.040},
doi = {10.1016/J.TCS.2008.04.040},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/MeseguerPM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MiliusM08,
author = {Stefan Milius and
Lawrence S. Moss},
title = {Corrigendum to: "The category theoretic solution of recursive program
schemes" {[TCS} 366 {(2006)} 3-59]},
journal = {Theor. Comput. Sci.},
volume = {403},
number = {2-3},
pages = {409--415},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.05.009},
doi = {10.1016/J.TCS.2008.05.009},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MiliusM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/OlteanuKA08,
author = {Dan Olteanu and
Christoph Koch and
Lyublena Antova},
title = {World-set decompositions: Expressiveness and efficient algorithms},
journal = {Theor. Comput. Sci.},
volume = {403},
number = {2-3},
pages = {265--284},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.05.004},
doi = {10.1016/J.TCS.2008.05.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/OlteanuKA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Payet08,
author = {{\'{E}}tienne Payet},
title = {Loop detection in term rewriting using the eliminating unfoldings},
journal = {Theor. Comput. Sci.},
volume = {403},
number = {2-3},
pages = {307--327},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.05.013},
doi = {10.1016/J.TCS.2008.05.013},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Payet08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Plummer08,
author = {Andrew R. Plummer},
title = {{S4} enriched multimodal categorial grammars are context-free: Corrigendum},
journal = {Theor. Comput. Sci.},
volume = {403},
number = {2-3},
pages = {406--408},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.02.042},
doi = {10.1016/J.TCS.2008.02.042},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Plummer08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Rabinovich08,
author = {Alexander Rabinovich},
title = {Arity hierarchy for temporal logics},
journal = {Theor. Comput. Sci.},
volume = {403},
number = {2-3},
pages = {373--381},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.06.006},
doi = {10.1016/J.TCS.2008.06.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Rabinovich08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Rao08a,
author = {M. V. Panduranga Rao},
title = {Interference automata},
journal = {Theor. Comput. Sci.},
volume = {403},
number = {1},
pages = {89--103},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.05.006},
doi = {10.1016/J.TCS.2008.05.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Rao08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Rozenberg08a,
author = {Grzegorz Rozenberg},
title = {Preface},
journal = {Theor. Comput. Sci.},
volume = {403},
number = {1},
pages = {1--2},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.07.009},
doi = {10.1016/J.TCS.2008.07.009},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Rozenberg08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/StuberV08,
author = {Torsten St{\"{u}}ber and
Heiko Vogler},
title = {Weighted monadic datalog},
journal = {Theor. Comput. Sci.},
volume = {403},
number = {2-3},
pages = {221--238},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.04.025},
doi = {10.1016/J.TCS.2008.04.025},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/StuberV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/TimmisHSC08,
author = {Jonathan Timmis and
Andrew Hone and
Thomas Stibor and
Edward Clark},
title = {Theoretical advances in artificial immune systems},
journal = {Theor. Comput. Sci.},
volume = {403},
number = {1},
pages = {11--32},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.02.011},
doi = {10.1016/J.TCS.2008.02.011},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/TimmisHSC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ToffoliCM08,
author = {Tommaso Toffoli and
Silvio Capobianco and
Patrizia Mentrasti},
title = {When-and how-can a cellular automaton be rewritten as a lattice gas?},
journal = {Theor. Comput. Sci.},
volume = {403},
number = {1},
pages = {71--88},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.04.047},
doi = {10.1016/J.TCS.2008.04.047},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ToffoliCM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Witt08,
author = {Carsten Witt},
title = {Population size versus runtime of a simple evolutionary algorithm},
journal = {Theor. Comput. Sci.},
volume = {403},
number = {1},
pages = {104--120},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.05.011},
doi = {10.1016/J.TCS.2008.05.011},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Witt08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/YangX08,
author = {Zhiguo Yang and
Daoyi Xu},
title = {Global dynamics for non-autonomous reaction-diffusion neural networks
with time-varying delays},
journal = {Theor. Comput. Sci.},
volume = {403},
number = {1},
pages = {3--10},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.04.044},
doi = {10.1016/J.TCS.2008.04.044},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/YangX08.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-04-28 00:09 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:
