@article{Moschovakis/03,
AUTHOR = {Moschovakis, Yiannis N.},
TITLE = {On primitive recursive algorithms and the greatest common divisor function},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {301},
NUMBER = {1-3},
PAGES = {1-30},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Kelarev-Sokratova/03,
AUTHOR = {Kelarev, A.V. and Sokratova, O.V.},
TITLE = {On congruences of automata defined by directed graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {301},
NUMBER = {1-3},
PAGES = {31-43},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Sauerhoff/03b,
AUTHOR = {Sauerhoff, Martin},
TITLE = {Approximation of Boolean functions by combinatorial rectangles},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {301},
NUMBER = {1-3},
PAGES = {45-78},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Katsura-Kobayashi-Otto/03,
AUTHOR = {Katsura, Masashi and Kobayashi, Yuji and Otto, Friedrich},
TITLE = {Undecidable properties of monoids with word problem solvable in linear time. Part II --- Cross sections and homological and homotopical finiteness conditions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {301},
NUMBER = {1-3},
PAGES = {79-101},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Sgarbas-Fakotakis-Kokkinakis/03,
AUTHOR = {Sgarbas, Kyriakos N. and Fakotakis, Nikos D. and Kokkinakis, George K.},
TITLE = {Optimal insertion in deterministic DAWGs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {301},
NUMBER = {1-3},
PAGES = {103-117},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Gerbessiotis-Siniolakis/03a,
AUTHOR = {Gerbessiotis, Alexandros V. and Siniolakis, Constantinos J.},
TITLE = {Architecture independent parallel selection with applications to parallel priority queues},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {301},
NUMBER = {1-3},
PAGES = {119-142},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Nock/03,
AUTHOR = {Nock, Richard},
TITLE = {Complexity in the case against accuracy estimation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {301},
NUMBER = {1-3},
PAGES = {143-165},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Terrier/03a,
AUTHOR = {Terrier, V{\'e}ronique},
TITLE = {Two-dimensional cellular automata and deterministic on-line tessalation automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {301},
NUMBER = {1-3},
PAGES = {167-186},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Salomaa-Sosk/03,
AUTHOR = {Salomaa, Arto and Sos{\'{\i}}k, Petr},
TITLE = {Watson-Crick D0L systems: The power of one transition},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {301},
NUMBER = {1-3},
PAGES = {187-200},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Ferretti-Mauri-Paun-Zandron/03,
AUTHOR = {Ferretti, Claudio and Mauri, Giancarlo and P{\u{a}}un, Gheorghe and Zandron, Claudio},
TITLE = {On three variants of rewriting $P$ systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {301},
NUMBER = {1-3},
PAGES = {201-215},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Finkel/03b,
AUTHOR = {Finkel, Olivier},
TITLE = {Ambiguity in omega context free languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {301},
NUMBER = {1-3},
PAGES = {217-270},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Boliac-Lozin/03,
AUTHOR = {Boliac, R. and Lozin, V.},
TITLE = {Independent domination in finitely defined classes of graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {301},
NUMBER = {1-3},
PAGES = {271-284},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Peter/03,
AUTHOR = {Peter, Manfred},
TITLE = {The asymptotic distribution of elements in automatic sequences},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {301},
NUMBER = {1-3},
PAGES = {285-312},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{van_der_Walt-Ewert/03,
AUTHOR = {van der Walt, Andries and Ewert, Sigrid},
TITLE = {A property of random context picture grammars},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {301},
NUMBER = {1-3},
PAGES = {313-320},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Ellis-Ruskey-Sawada-Simpson/03,
AUTHOR = {Ellis, John and Ruskey, Frank and Sawada, Joe and Simpson, Jamie},
TITLE = {Euclidean strings},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {301},
NUMBER = {1-3},
PAGES = {321-340},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Formenti/03,
AUTHOR = {Formenti, Enrico},
TITLE = {On the sensitivity of additive cellular automata in Besicovitch topologies},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {301},
NUMBER = {1-3},
PAGES = {341-354},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Flocchini-Roncato-Santoro/03a,
AUTHOR = {Flocchini, Paola and Roncato, Alessandro and Santoro, Nicola},
TITLE = {Computing on anonymous networks with sense of direction},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {301},
NUMBER = {1-3},
PAGES = {355-379},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Lu-Peng-Tang/03,
AUTHOR = {Lu, Chin Lung and Peng, Sheng-Lung and Tang, Chuan Yi},
TITLE = {Efficient minus and signed domination in graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {301},
NUMBER = {1-3},
PAGES = {381-397},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Lam/03,
AUTHOR = {Lam, Nguyen Huong},
TITLE = {Completing comma-free codes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {301},
NUMBER = {1-3},
PAGES = {399-415},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Dolinka/03,
AUTHOR = {Dolinka, Igor},
TITLE = {The multiplicative fragment of the Yanov equational theory},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {301},
NUMBER = {1-3},
PAGES = {417-425},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Georgiadis/03,
AUTHOR = {Georgiadis, Leonidas},
TITLE = {Arborescence optimization problems solvable by Edmonds' algorithm},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {301},
NUMBER = {1-3},
PAGES = {427-437},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Barge-Diamond-Holton/03,
AUTHOR = {Barge, Marcy and Diamond, Beverly and Holton, Charles},
TITLE = {Asymptotic orbits of primitive substitutions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {301},
NUMBER = {1-3},
PAGES = {439-450},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Iwama-Matsuura-Paterson/03,
AUTHOR = {Iwama, Kazuo and Matsuura, Akihiro and Paterson, Mike},
TITLE = {A family of NFAs which need $2^n - \alpha$ deterministic states},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {301},
NUMBER = {1-3},
PAGES = {451-462},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Le-Randerath/03,
AUTHOR = {Le, Van Bang and Randerath, Bert},
TITLE = {On stable cutsets in line graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {301},
NUMBER = {1-3},
PAGES = {463-475},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Sawada/03a,
AUTHOR = {Sawada, Joe},
TITLE = {A fast algorithm to generate necklaces with fixed content},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {301},
NUMBER = {1-3},
PAGES = {477-489},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Harper/03,
AUTHOR = {Harper, L.H.},
TITLE = {On the bandwidth of a Hamming graph},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {301},
NUMBER = {1-3},
PAGES = {491-498},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}