default search action
Search dblp for Publications
export results for "toc:db/journals/tcs/tcs303.bht:"
@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} }
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.