@article{Feige-Yahalom/03, AUTHOR = {Feige, Uriel and Yahalom, Orly}, TITLE = {On the complexity of finding balanced oneway cuts}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {1}, PAGES = {1-5}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Rothe/03, AUTHOR = {Rothe, J{\"o}rg}, TITLE = {Exact complexity of Exact-Four-Colorability}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {1}, PAGES = {7-12}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Eisenbrand-Grandoni/03, AUTHOR = {Eisenbrand, Friedrich and Grandoni, Fabrizio}, TITLE = {Detecting directed 4-cycles still faster}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {1}, PAGES = {13-15}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Aceto-Fokkink-Ingolfsdottir/03, AUTHOR = {Aceto, Luca and Fokkink, Wan and Ing{\'o}lfsd{\'o}ttir, Anna}, TITLE = {A note on an expressiveness hierarchy for multi-exit iteration}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {1}, PAGES = {17-23}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Bollig-Wegener/03, AUTHOR = {Bollig, Beate and Wegener, Ingo}, TITLE = {Functions that have read-once branching programs of quadratic size are not necessarily testable}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {1}, PAGES = {25-29}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Kim-Chwa/03a, AUTHOR = {Kim, Jae-Hoon and Chwa, Kyung-Yong}, TITLE = {Non-clairvoyant scheduling for weighted flow time}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {1}, PAGES = {31-37}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Ben-Amram/03, AUTHOR = {Ben-Amram, Amir M.}, TITLE = {Tighter constant-factor time hierarchies}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {1}, PAGES = {39-44}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Liao-Chang/03, AUTHOR = {Liao, Chung-Shou and Chang, Gerard J.}, TITLE = {$k$-tuple domination in graphs}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {1}, PAGES = {45-50}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Fertin-Godard-Raspaud/03, AUTHOR = {Fertin, Guillaume and Godard, Emmanuel and Raspaud, Andr{\'e}}, TITLE = {Acyclic and $k$-distance coloring of the grid}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {1}, PAGES = {51-58}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Hochberg-Stallmann/03, AUTHOR = {Hochberg, Robert A. and Stallmann, Matthias F.}, TITLE = {Optimal one-page tree embeddings in linear time}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {2}, PAGES = {59-66}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Ruggieri/03, AUTHOR = {Ruggieri, Salvatore}, TITLE = {On computing the semi-sum of two integers}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {2}, PAGES = {67-71}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Nock-Elomaa-Kaariainen/03, AUTHOR = {Nock, Richard and Elomaa, Tapio and K{\"a}{\"a}ri{\"a}inen, Matti}, TITLE = {Reduced error pruning of branching programs cannot be approximated to within a logarithmic factor}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {2}, PAGES = {73-78}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Buhrman-de_Wolf/03, AUTHOR = {Buhrman, Harry and de Wolf, Ronald}, TITLE = {Quantum zero-error algorithms cannot be composed}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {2}, PAGES = {79-84}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Fredman/03, AUTHOR = {Fredman, Michael L.}, TITLE = {The number of tests required to search an unordered table}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {2}, PAGES = {85-88}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Wu-Lee/03, AUTHOR = {Wu, Chin-Chia and Lee, Wen-Chiung}, TITLE = {Scheduling linear deteriorating jobs to minimize makespan with an availability constraint on a single machine}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {2}, PAGES = {89-93}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Abdel-Ghaffar/03, AUTHOR = {Abdel-Ghaffar, Khaled A.S.}, TITLE = {Maximum number of edges joining vertices on a cube}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {2}, PAGES = {95-99}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Jiang-Qian-Qin-Zhu-Cimikowski/03, AUTHOR = {Jiang, Minghui and Qian, Jianbo and Qin, Zhongping and Zhu, Binhai and Cimikowski, Robert}, TITLE = {A simple factor-3 approximation for labeling points with circles}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {2}, PAGES = {101-105}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Li-Tsai-Tan-Hsu/03, AUTHOR = {Li, Tseng-Kuei and Tsai, Chang-Hsiung and Tan, Jimmy J.M. and Hsu, Lih-Hsing}, TITLE = {Bipanconnectivity and edge-fault-tolerant bipancyclicity of hypercubes}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {2}, PAGES = {107-110}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Amano-Iwama-Maruoka-Matsuo-Matsuura/03, AUTHOR = {Amano, Kazuyuki and Iwama, Kazuo and Maruoka, Akira and Matsuo, Kenshi and Matsuura, Akihiro}, TITLE = {Inclusion-exclusion for $k$-CNF formulas}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {2}, PAGES = {111-117}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Crochemore-Stefanov/03, AUTHOR = {Crochemore, M. and Stefanov, V.T.}, TITLE = {Waiting time and complexity for matching patterns with automata}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {3}, PAGES = {119-125}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{de_Werra-Hansen/03, AUTHOR = {de Werra, D. and Hansen, P.}, TITLE = {Using stable sets to bound the chromatic number}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {3}, PAGES = {127-131}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Hartmann-Hoffmann-Link-Schewe/03, AUTHOR = {Hartmann, Sven and Hoffmann, Anne and Link, Sebastian and Schewe, Klaus-Dieter}, TITLE = {Axiomatizing functional dependencies in the higher-order entity-relationship model}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {3}, PAGES = {133-137}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Litow/03, AUTHOR = {Litow, B.}, TITLE = {Inequality of finite behaviors of rational weight finite automata is in $R$}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {3}, PAGES = {139-145}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Habib-Lebhar-Paul/03, AUTHOR = {Habib, Michel and Lebhar, Emmanuelle and Paul, Christophe}, TITLE = {A note on finding all homogeneous set sandwiches}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {3}, PAGES = {147-151}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Panda-Das/03, AUTHOR = {Panda, B.S. and Das, Sajal K.}, TITLE = {A linear time recognition algorithm for proper interval graphs}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {3}, PAGES = {153-161}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Jha/03, AUTHOR = {Jha, Pranava K.}, TITLE = {Perfect $r$-domination in the Kronecker product of two cycles, with an application to diagonal/toroidal mesh}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {3}, PAGES = {163-168}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Markowitch-Saeednia/03, AUTHOR = {Markowitch, Olivier and Saeednia, Shahrokh}, TITLE = {Cryptanalysis of the Wu-Varadhrajan fair exchange protocol}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {3}, PAGES = {169-171}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Pallo/03a, AUTHOR = {Pallo, Jean Marcel}, TITLE = {Right-arm rotation distance between binary trees}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {4}, PAGES = {173-177}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Tan-Hirata/03, AUTHOR = {Tan, Xuehou and Hirata, Tomio}, TITLE = {Finding shortest Safari routes in simple polygons}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {4}, PAGES = {179-186}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Gallier-La_Torre-Mukhopadhyay/03, AUTHOR = {Gallier, Jean H. and La Torre, Salvatore and Mukhopadhyay, Supratik}, TITLE = {Deterministic finite automata with recursive calls and DPDAs}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {4}, PAGES = {187-193}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Chandran-Subramanian/03, AUTHOR = {Chandran, L. Sunil and Subramanian, C.R.}, TITLE = {A spectral lower bound for the treewidth of a graph and its consequences}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {4}, PAGES = {195-200}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Fredriksson/03, AUTHOR = {Fredriksson, Kimmo}, TITLE = {Shift-or string matching with super-alphabets}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {4}, PAGES = {201-204}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Choi-Han/03, AUTHOR = {Choi, Kwanghoon and Han, Taisook}, TITLE = {A type system for the push-enter model}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {4}, PAGES = {205-211}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Michiels-Korst/03, AUTHOR = {Michiels, Wil and Korst, Jan}, TITLE = {Complexity of min-max subsequence problems}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {4}, PAGES = {213-217}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Fuchs/03, AUTHOR = {Fuchs, Bernhard}, TITLE = {A note on the terminal Steiner tree problem}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {4}, PAGES = {219-220}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Kim-Yong/03, AUTHOR = {Kim, Ho-Sook and Yong, Hwan-Seung}, TITLE = {Personalized cache management for mobile computing environments}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {4}, PAGES = {221-228}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Long/03, AUTHOR = {Long, Philip M.}, TITLE = {An upper bound on the sample complexity of PAC-learning halfspaces with respect to the uniform distribution}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {5}, PAGES = {229-234}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Hernandez-Rosenblueth/03, AUTHOR = {Hern{\'a}ndez, Manuel and Rosenblueth, David A.}, TITLE = {Disjunctive partial deduction of a right-to-left string-matching algorithm}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {5}, PAGES = {235-241}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Chandra-Kshemkalyani/03, AUTHOR = {Chandra, Punit and Kshemkalyani, Ajay D.}, TITLE = {Distributed algorithm to detect strong conjunctive predicates}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {5}, PAGES = {243-249}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Hedetniemi-Jacobs-Srimani/03, AUTHOR = {Hedetniemi, Stephen T. and Jacobs, David P. and Srimani, Pradip K.}, TITLE = {Linear time self-stabilizing colorings}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {5}, PAGES = {251-255}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Chung-Kim-Kim/03, AUTHOR = {Chung, Yon Dohn and Kim, Jong Wook and Kim, Myoung Ho}, TITLE = {Efficient preprocessing of XML queries using structured signatures}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {5}, PAGES = {257-264}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Jacquemard/03, AUTHOR = {Jacquemard, Florent}, TITLE = {Reachability and confluence are undecidable for flat term rewriting systems}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {5}, PAGES = {265-270}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Lee-Ho/03, AUTHOR = {Lee, SingLing and Ho, Hann-Jang}, TITLE = {On minimizing the maximum congestion for weighted hypergraph embedding in a cycle}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {5}, PAGES = {271-275}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Chun-Kim-Lee-Sung-Yoon/03, AUTHOR = {Chun, Kilsoo and Kim, Seungjoo and Lee, Sangjin and Sung, Soo Hak and Yoon, Seonhee}, TITLE = {Differential and linear cryptanalysis for 2-round SPNs}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {5}, PAGES = {277-282}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Litow/03a, AUTHOR = {Litow, B.}, TITLE = {A note on commutative multivariate rational series}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {6}, PAGES = {283-285}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Hoffmann-Toth/03, AUTHOR = {Hoffmann, Michael and T{\'o}th, Csaba D.}, TITLE = {Alternating paths through disjoint line segments}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {6}, PAGES = {287-294}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Esteban-Toran/03, AUTHOR = {Esteban, Juan Luis and Tor{\'a}n, Jacobo}, TITLE = {A combinatorial characterization of treelike resolution space}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {6}, PAGES = {295-300}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Jonsson/03, AUTHOR = {Jonsson, H{\aa}kan}, TITLE = {An approximative solution to the Zookeeper's problem}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {6}, PAGES = {301-307}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Derisavi-Hermanns-Sanders/03, AUTHOR = {Derisavi, Salem and Hermanns, Holger and Sanders, William H.}, TITLE = {Optimal state-space lumping in Markov chains}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {6}, PAGES = {309-315}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Ho-Chang/03, AUTHOR = {Ho, Ting-Yem and Chang, Jou-Ming}, TITLE = {Sorting a sequence of strong kings in a tournament}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {6}, PAGES = {317-320}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, } @article{Gal-Pudlak/03, AUTHOR = {G{\'a}l, Anna and Pudl{\'a}k, Pavel}, TITLE = {A note on monotone complexity and the rank of matrices}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {6}, PAGES = {321-326}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, NOTE = {see Erratum in Inf.~Process.~Lett., Vol. 88, 2003, No. 5, 257}, TYPE = {proceeding}, } @article{Intrigila-Nesi/03, AUTHOR = {Intrigila, B. and Nesi, M.}, TITLE = {On structural properties of eta-expansions of identity}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {87}, NUMBER = {6}, PAGES = {327-333}, YEAR = {2003}, PUBLISHER = {Elsevier Science B.V. (North-Holland)}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, TYPE = {proceeding}, }