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/tcs303.bht:"
download as .bib file
@article{DBLP:journals/tcs/ArnoldVW03,
author = {Andr{\'{e}} Arnold and
Aymeric Vincent and
Igor Walukiewicz},
title = {Games for synthesis of controllers with partial observation},
journal = {Theor. Comput. Sci.},
volume = {303},
number = {1},
pages = {7--34},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00442-5},
doi = {10.1016/S0304-3975(02)00442-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ArnoldVW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BeauquierGM03,
author = {Dani{\`{e}}le Beauquier and
Dimitri Grigoriev and
Yuri V. Matiyasevich},
title = {Biography of {A.O.} Slissenko},
journal = {Theor. Comput. Sci.},
volume = {303},
number = {1},
pages = {3--5},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00441-3},
doi = {10.1016/S0304-3975(02)00441-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BeauquierGM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BeauquierN03,
author = {Dani{\`{e}}le Beauquier and
Maurice Nivat},
title = {A codicity undecidable problem in the plane},
journal = {Theor. Comput. Sci.},
volume = {303},
number = {2-3},
pages = {417--430},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(03)00029-X},
doi = {10.1016/S0304-3975(03)00029-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BeauquierN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CarboneG03,
author = {Alessandra Carbone and
Misha Gromov},
title = {Functional labels and syntactic entropy on {DNA} strings and proteins},
journal = {Theor. Comput. Sci.},
volume = {303},
number = {1},
pages = {35--51},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00443-7},
doi = {10.1016/S0304-3975(02)00443-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CarboneG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CegielskiHR03,
author = {Patrick C{\'{e}}gielski and
Fran{\c{c}}ois Heroult and
Denis Richard},
title = {On the amplitude of intervals of natural numbers whose every element
has a common prime divisor with at least an extremity},
journal = {Theor. Comput. Sci.},
volume = {303},
number = {1},
pages = {53--62},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00444-9},
doi = {10.1016/S0304-3975(02)00444-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CegielskiHR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DekhtyarDV03,
author = {Michael I. Dekhtyar and
Alexander Ja. Dikovsky and
Mars K. Valiev},
title = {On feasible cases of checking multi-agent systems behavior},
journal = {Theor. Comput. Sci.},
volume = {303},
number = {1},
pages = {63--81},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00445-0},
doi = {10.1016/S0304-3975(02)00445-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DekhtyarDV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Desreux03,
author = {S{\'{e}}bastien Desreux},
title = {An algorithm to generate exactly once every tiling with lozenges of
a domain},
journal = {Theor. Comput. Sci.},
volume = {303},
number = {2-3},
pages = {375--408},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00498-X},
doi = {10.1016/S0304-3975(02)00498-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Desreux03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Eloranta03,
author = {Kari Eloranta},
title = {The bounded eight-vertex model},
journal = {Theor. Comput. Sci.},
volume = {303},
number = {2-3},
pages = {539--552},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00505-4},
doi = {10.1016/S0304-3975(02)00505-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Eloranta03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FitzkeeHR03,
author = {Thomas L. Fitzkee and
Kevin G. Hockett and
E. Arthur Robinson Jr.},
title = {A weakly mixing tiling dynamical system with a smooth model},
journal = {Theor. Comput. Sci.},
volume = {303},
number = {2-3},
pages = {447--462},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00501-7},
doi = {10.1016/S0304-3975(02)00501-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FitzkeeHR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Fournier03,
author = {Jean{-}Claude Fournier},
title = {Combinatorics of perfect matchings in plane bipartite graphs and application
to tilings},
journal = {Theor. Comput. Sci.},
volume = {303},
number = {2-3},
pages = {333--351},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00496-6},
doi = {10.1016/S0304-3975(02)00496-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Fournier03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Friedrichs03,
author = {Olaf Delgado{-}Friedrichs},
title = {Data structures and algorithms for tilings {I}},
journal = {Theor. Comput. Sci.},
volume = {303},
number = {2-3},
pages = {431--445},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00500-5},
doi = {10.1016/S0304-3975(02)00500-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Friedrichs03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FrougnyGK03,
author = {Christiane Frougny and
Jean{-}Pierre Gazeau and
Rudolf Krejcar},
title = {Additive and multiplicative properties of point sets based on beta-integers},
journal = {Theor. Comput. Sci.},
volume = {303},
number = {2-3},
pages = {491--516},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00503-0},
doi = {10.1016/S0304-3975(02)00503-0},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/FrougnyGK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GrigorievH03,
author = {Dima Grigoriev and
Edward A. Hirsch},
title = {Algebraic proof systems over formulas},
journal = {Theor. Comput. Sci.},
volume = {303},
number = {1},
pages = {83--102},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00446-2},
doi = {10.1016/S0304-3975(02)00446-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GrigorievH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GuessarianFAA03,
author = {Ir{\`{e}}ne Guessarian and
Eug{\'{e}}nie Foustoucos and
Theodore Andronikos and
Foto N. Afrati},
title = {On temporal logic versus datalog},
journal = {Theor. Comput. Sci.},
volume = {303},
number = {1},
pages = {103--133},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00447-4},
doi = {10.1016/S0304-3975(02)00447-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GuessarianFAA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KolpakovK03,
author = {Roman M. Kolpakov and
Gregory Kucherov},
title = {Finding approximate repetitions under Hamming distance},
journal = {Theor. Comput. Sci.},
volume = {303},
number = {1},
pages = {135--156},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00448-6},
doi = {10.1016/S0304-3975(02)00448-6},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KolpakovK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LamP03,
author = {Fumei Lam and
Lior Pachter},
title = {Forcing numbers of stop signs},
journal = {Theor. Comput. Sci.},
volume = {303},
number = {2-3},
pages = {409--416},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00499-1},
doi = {10.1016/S0304-3975(02)00499-1},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/LamP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Lenz03,
author = {Daniel Lenz},
title = {Hierarchical structures in Sturmian dynamical systems},
journal = {Theor. Comput. Sci.},
volume = {303},
number = {2-3},
pages = {463--490},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(03)00207-X},
doi = {10.1016/S0304-3975(03)00207-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Lenz03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LorysP03,
author = {Krzysztof Lorys and
Katarzyna E. Paluch},
title = {New approximation algorithm for {RTILE} problem},
journal = {Theor. Comput. Sci.},
volume = {303},
number = {2-3},
pages = {517--537},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00504-2},
doi = {10.1016/S0304-3975(02)00504-2},
timestamp = {Thu, 20 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/LorysP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MakowskyM03,
author = {Johann A. Makowsky and
Julian Mari{\~{n}}o},
title = {Tree-width and the monadic quantifier hierarchy},
journal = {Theor. Comput. Sci.},
volume = {303},
number = {1},
pages = {157--170},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00449-8},
doi = {10.1016/S0304-3975(02)00449-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MakowskyM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Maksimova03,
author = {Larisa Maksimova},
title = {Complexity of some problems in positive and related calculi},
journal = {Theor. Comput. Sci.},
volume = {303},
number = {1},
pages = {171--185},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00450-4},
doi = {10.1016/S0304-3975(02)00450-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Maksimova03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Mints03,
author = {Grigori Mints},
title = {A termination proof for epsilon substitution using partial derivations},
journal = {Theor. Comput. Sci.},
volume = {303},
number = {1},
pages = {187--213},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00451-6},
doi = {10.1016/S0304-3975(02)00451-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Mints03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/NiwiskiW03,
author = {Damian Niwinski and
Igor Walukiewicz},
title = {A gap property of deterministic tree languages},
journal = {Theor. Comput. Sci.},
volume = {303},
number = {1},
pages = {215--231},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00452-8},
doi = {10.1016/S0304-3975(02)00452-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/NiwiskiW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Pak03,
author = {Igor Pak},
title = {Tile invariants: new horizons},
journal = {Theor. Comput. Sci.},
volume = {303},
number = {2-3},
pages = {303--331},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00495-4},
doi = {10.1016/S0304-3975(02)00495-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Pak03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Propp03,
author = {James Gary Propp},
title = {Generalized domino-shuffling},
journal = {Theor. Comput. Sci.},
volume = {303},
number = {2-3},
pages = {267--301},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00815-0},
doi = {10.1016/S0304-3975(02)00815-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Propp03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Razborov03,
author = {Alexander A. Razborov},
title = {Resolution lower bounds for the weak functional pigeonhole principle},
journal = {Theor. Comput. Sci.},
volume = {303},
number = {1},
pages = {233--243},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00453-X},
doi = {10.1016/S0304-3975(02)00453-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Razborov03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/SolovievO03,
author = {Sergei Soloviev and
Vladimir Orevkov},
title = {On categorical equivalence of Gentzen-style derivations in {IMLL}},
journal = {Theor. Comput. Sci.},
volume = {303},
number = {1},
pages = {245--260},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00454-1},
doi = {10.1016/S0304-3975(02)00454-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/SolovievO03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Thiant03,
author = {Nicolas Thiant},
title = {An O(n log n)-algorithm for finding a domino tiling of a plane picture
whose number of holes is bounded},
journal = {Theor. Comput. Sci.},
volume = {303},
number = {2-3},
pages = {353--374},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00497-8},
doi = {10.1016/S0304-3975(02)00497-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Thiant03.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-06-11 18: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:
