@article{Kerth/01,
AUTHOR = {Kerth, Rainer},
TITLE = {On the construction of stable models of untyped $\lambda$-calculus},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {269},
NUMBER = {1-2},
PAGES = {23-46},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Corradini-Ferrari-Pistore/01,
AUTHOR = {Corradini, Flavio and Ferrari, GianLuigi and Pistore, Marco},
TITLE = {On the semantics of durational actions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {269},
NUMBER = {1-2},
PAGES = {47-82},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Quaglia/01,
AUTHOR = {Quaglia, Paola},
TITLE = {Explicit substitutions for pi-congruences},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {269},
NUMBER = {1-2},
PAGES = {83-134},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Riany-Shavit-Touitou/01,
AUTHOR = {Riany, Yaron and Shavit, Nir and Touitou, Dan},
TITLE = {Towards a practical snapshot algorithm},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {269},
NUMBER = {1-2},
PAGES = {163-201},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bergstra-Ponse/01a,
AUTHOR = {Bergstra, Jan A. and Ponse, Alban},
TITLE = {Non-regular iterators in process algebra},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {269},
NUMBER = {1-2},
PAGES = {203-229},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Finkel/01b,
AUTHOR = {Finkel, Olivier},
TITLE = {Wadge hierarchy  of omega context-free languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {269},
NUMBER = {1-2},
PAGES = {283-315},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Barthe-Hatcliff-Sorensen/01,
AUTHOR = {Barthe, Gilles and Hatcliff, John and S{\o}rensen, Morten Heine},
TITLE = {Weak normalization implies strong normalization in a class of non-dependent pure type systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {269},
NUMBER = {1-2},
PAGES = {317-361},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Lago-Artalejo/01,
AUTHOR = {Lago, Joaqu{\'{i}}n Mateos and Artalejo, Mario Rodr{\'{i}}gues},
TITLE = {A declarative framework for object-oriented programming with genetic inheritance},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {269},
NUMBER = {1-2},
PAGES = {363-417},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Masulovic-Tasic/01,
AUTHOR = {Ma{\v{s}}ulovi{\'c}, Dragan and Tasi{\'c}, Bo{\v{z}}a},
TITLE = {Operators on classes of coalgebras},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {269},
NUMBER = {1-2},
PAGES = {419-431},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Lepper/01,
AUTHOR = {Lepper, Ingo},
TITLE = {Derivation lengths and order types of Knuth-Bendix orders},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {269},
NUMBER = {1-2},
PAGES = {433-450},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Duntsch-Mikulas/01,
AUTHOR = {D{\"u}ntsch, Ivo and Mikul{\'{a}}s, Szabolcs},
TITLE = {Cylindric structures and dependencies in relational databases},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {269},
NUMBER = {1-2},
PAGES = {451-468},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Rigo/01,
AUTHOR = {Rigo, Michel},
TITLE = {Numeration systems on a regular language: Arithmetic operations, recognizability and formal power series},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {269},
NUMBER = {1-2},
PAGES = {469-498},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ambuhl-Gartner-Stengel/01,
AUTHOR = {Amb{\"u}hl, Christoph and G{\"a}rtner, Bernd and Stengel, Bernhard von},
TITLE = {A new lower bound for the list update problem in the partial cost model},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {268},
NUMBER = {1},
PAGES = {3-16},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Azar-Regev/01a,
AUTHOR = {Azar, Yossi and Regev, Oded},
TITLE = {On-line bin-stretching},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {268},
NUMBER = {1},
PAGES = {17-41},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bartal-Charikar-Indyk/01,
AUTHOR = {Bartal, Yair and Charikar, Moses and Indyk, Piotr},
TITLE = {On page migration and other relaxed task systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {268},
NUMBER = {1},
PAGES = {43-66},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bischof-Mayr/01,
AUTHOR = {Bischof, Stefan and Mayr, Ernst W.},
TITLE = {On-line scheduling of parallel jobs with runtime restrictions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {268},
NUMBER = {1},
PAGES = {67-90},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Feuerstein-Stougie/01,
AUTHOR = {Feuerstein, Esteban and Stougie, Leen},
TITLE = {On-line single-server dial-a-ride problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {268},
NUMBER = {1},
PAGES = {91-105},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Glazek/01,
AUTHOR = {G{\l}azek, W{\l}odzimierz},
TITLE = {Online algorithms for page replication in rings},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {268},
NUMBER = {1},
PAGES = {107-117},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kimbrel/01,
AUTHOR = {Kimbrel, Tracy},
TITLE = {Online paging and file caching with expiration times},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {268},
NUMBER = {1},
PAGES = {119-131},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Noga-Seiden/01,
AUTHOR = {Noga, John and Seiden, Steven S.},
TITLE = {An optimal online algorithm for scheduling two machines with release times},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {268},
NUMBER = {1},
PAGES = {133-143},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Riedel/01,
AUTHOR = {Riedel, Marco},
TITLE = {Online request server matching},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {268},
NUMBER = {1},
PAGES = {145-160},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fleischer/01b,
AUTHOR = {Fleischer, Rudolf},
TITLE = {On the Bahncard Problem},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {268},
NUMBER = {1},
PAGES = {161-174},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Krishna_Rao-Sattar/01,
AUTHOR = {Krishna Rao, M.R.K. and Sattar, A.},
TITLE = {Polynomial-time learnability of logic programs with local variables from entailment},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {268},
NUMBER = {2},
PAGES = {179-198},
YEAR = {2001},
KEYWORDS = {179198},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fischlin/01,
AUTHOR = {Fischlin, Marc},
TITLE = {Cryptographic limitations on parallelizing membership and equivalence queries with applications to random-self-reductions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {268},
NUMBER = {2},
PAGES = {199-219},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Meyer/01,
AUTHOR = {Meyer, L{\'{e}}a},
TITLE = {Aspects of complexity of probabilistic learning under monotonocity constraints},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {268},
NUMBER = {2},
PAGES = {275-322},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Case-Jain-Kaufmann-Sharma-Stephan/01,
AUTHOR = {Case, John and Jain, Sanjay and Kaufmann, Susanne and Sharma, Arun and Stephan, Frank},
TITLE = {Predictive learning models for concept drift},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {268},
NUMBER = {2},
PAGES = {323-349},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hirowatari-Arikawa/01,
AUTHOR = {Hirowatari, Eiju and Arikawa, Setsuo},
TITLE = {A comparison of identification criteria for inductive inference of recursive real-valued functions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {268},
NUMBER = {2},
PAGES = {351-366},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Apsitis-Freivalds-Simanovskis-Smotrovs/01,
AUTHOR = {Ap{\=s}itis, Kalvis and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Simanovskis, Raimonds and Smotrovs, Juris},
TITLE = {Closedness properties in ex-identification},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {268},
NUMBER = {2},
PAGES = {367-393},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Campeanu-Santean-Yu/01,
AUTHOR = {C{\^{a}}mpeanu, C. and S{\^{a}}ntean, N. and Yu, S.},
TITLE = {Minimal cover-automata for finite languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {267},
NUMBER = {1-2},
PAGES = {3-16},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Champarnaud/01,
AUTHOR = {Champarnaud, J.-M.},
TITLE = {Subset construction complexity for homogeneous automata, position automata and ZPC-structures},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {267},
NUMBER = {1-2},
PAGES = {17-34},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Albert-Giammarresi-Wood/01,
AUTHOR = {Albert, J{\"u}rgen and Giammarresi, Dora and Wood, Derick},
TITLE = {Normal form algorithms for extended context-free grammars},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {267},
NUMBER = {1-2},
PAGES = {35-47},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Blum/01,
AUTHOR = {Blum, Norbert},
TITLE = {On parsing LL-languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {267},
NUMBER = {1-2},
PAGES = {49-59},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Goeman/01,
AUTHOR = {Goeman, Heiko},
TITLE = {On parsing and condensing substrings of LR languages in linear time},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {267},
NUMBER = {1-2},
PAGES = {61-82},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Nykanen/01,
AUTHOR = {Nyk{\"a}nen, Matti},
TITLE = {Using acceptors as transducers},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {267},
NUMBER = {1-2},
PAGES = {83-104},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Duchamp-Flouret-Laugerotte-Luque/01,
AUTHOR = {Duchamp, G. and Flouret, M. and Laugerotte, {\'{E}}. and Luque, J.-G.},
TITLE = {Direct and dual laws for automata with multiplicities},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {267},
NUMBER = {1-2},
PAGES = {105-120},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Maurel-Pevedic/01,
AUTHOR = {Maurel, Denis and P{\'{e}}v{\'{e}}dic, Brigitte le},
TITLE = {The syntactic prediction with token automata: Application to HandiAS system},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {267},
NUMBER = {1-2},
PAGES = {121-129},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Poibeau/01,
AUTHOR = {Poibeau, T.},
TITLE = {Parsing natural language idioms with bidirectional finite-state machines},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {267},
NUMBER = {1-2},
PAGES = {131-140},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{LHer-Parc-Marce/01,
AUTHOR = {L'Her, Dominique and Parc, Philipppe le and Marc{\'{e}}, Lionel},
TITLE = {Proving sequential function chart programs using timed automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {267},
NUMBER = {1-2},
PAGES = {141-155},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Matsushita-Runciman/01,
AUTHOR = {Matsushita, Tatsuru and Runciman, Colin},
TITLE = {The accepting power of unary string logic programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {266},
NUMBER = {1-2},
PAGES = {59-79},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Aguilera-Guzman-Ojeda-Aciego-Valverde/01,
AUTHOR = {Aguilera, G. and Guzm{\'{a}}n, I.P. de and Ojeda-Aciego, M. and Valverde, A.},
TITLE = {Reductions for non-clausal theorem proving},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {266},
NUMBER = {1-2},
PAGES = {81-112},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{David/01,
AUTHOR = {David, Ren{\'{e}}},
TITLE = {On the asymptotic behaviour of primitive recursive algorithms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {266},
NUMBER = {1-2},
PAGES = {159-193},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Lermer-Strooper/01,
AUTHOR = {Lermer, Karl and Strooper, Paul},
TITLE = {Refinement and state machine abstraction},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {266},
NUMBER = {1-2},
PAGES = {195-235},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Boreale-Nicola-Pugliese/01,
AUTHOR = {Boreale, Michele and Nicola, Rocco De and Pugliese, Rosario},
TITLE = {Divergence in testing and readiness semantics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {266},
NUMBER = {1-2},
PAGES = {237-248},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hashimoto-Ohori/01,
AUTHOR = {Hashimoto, Masatomo and Ohori, Atsushi},
TITLE = {A typed context calculus},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {266},
NUMBER = {1-2},
PAGES = {249-272},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Aspinall-Compagnoni/01,
AUTHOR = {Aspinall, David and Compagnoni, Adriana},
TITLE = {Subtyping dependent types},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {266},
NUMBER = {1-2},
PAGES = {273-309},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Koubarakis/01,
AUTHOR = {Koubarakis, Manolis},
TITLE = {Tractable disjunctions of linear constraints: Basic results and applications to temporal reasoning},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {266},
NUMBER = {1-2},
PAGES = {311-339},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Loader/01,
AUTHOR = {Loader, Ralph},
TITLE = {Finitary PCF is not decidable},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {266},
NUMBER = {1-2},
PAGES = {341-364},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Munoz/01,
AUTHOR = {Mu{\~{n}}oz, C{\'{e}}sar},
TITLE = {Proof-term synthesis on dependent-type systems via explicit substitutions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {266},
NUMBER = {1-2},
PAGES = {407-440},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bauderon-Jacquet/01,
AUTHOR = {Bauderon, Michel and Jacquet, H{\'{e}}l{\`{e}}ne},
TITLE = {Node rewriting in graphs and hypergraphs: A categorical framework},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {266},
NUMBER = {1-2},
PAGES = {463-487},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{MecIver-Morgan/01,
AUTHOR = {MecIver, A.K. and Morgan, Carroll},
TITLE = {Partial correctness for probabilistic demonic programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {266},
NUMBER = {1-2},
PAGES = {513-541},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Pucella-Panangaden/01,
AUTHOR = {Pucella, Riccardo and Panangaden, Prakash},
TITLE = {On the expressive power of first-order Boolean function in PCF},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {266},
NUMBER = {1-2},
PAGES = {543-567},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fournet-Laneve/01,
AUTHOR = {Fournet, C{\'{e}}dric and Laneve, Cosimo},
TITLE = {Bisimulations in the join-calculus},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {266},
NUMBER = {1-2},
PAGES = {569-603},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Groote-Wamel/01,
AUTHOR = {Groote, Jan Friso and Wamel, Jos van},
TITLE = {The parallel composition of uniform processes with data},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {266},
NUMBER = {1-2},
PAGES = {631-652},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Abraham-Dolev-Herman-Koll/01,
AUTHOR = {Abraham, Uri and Dolev, Shlomi and Herman, Ted and Koll, Irit},
TITLE = {Self-stabilizing $l$-exlusion},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {266},
NUMBER = {1-2},
PAGES = {653-692},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Riely-Hennessy/01,
AUTHOR = {Riely, James and Hennessy, Matthew},
TITLE = {Distributed processes and location failures},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {266},
NUMBER = {1-2},
PAGES = {693-735},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Khasidashvili/01,
AUTHOR = {Khasidashvili, Zurab},
TITLE = {On the longest perpetual reductions in orthogonal expression reduction systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {266},
NUMBER = {1-2},
PAGES = {737-772},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Barthe-Hatcliff-Sorenson/01,
AUTHOR = {Barthe, Gilles and Hatcliff, John and S{\o}renson, Morten Heine B.},
TITLE = {An induction principle for pure type systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {266},
NUMBER = {1-2},
PAGES = {773-818},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Goldblatt/01,
AUTHOR = {Goldblatt, Robert},
TITLE = {What is the coalgebraic analogue of Birkhoff's variety theorem?},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {266},
NUMBER = {1-2},
PAGES = {853-886},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Auletta-Caragiannis-Gargano-Kaklamanis-Persiano/01,
AUTHOR = {Auletta, Vincenzo and Caragiannis, Ioannis and Gargano, Luisa and Kaklamanis, Christos and Persiano, Pino},
TITLE = {Sparse and limited wavelength conversion in all-optical tree networks},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {266},
NUMBER = {1-2},
PAGES = {887-934},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Majster-Cederbaum/01,
AUTHOR = {Majster-Cederbaum, M.E.},
TITLE = {Underspecification for a simple process algebra of recursive processes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {266},
NUMBER = {1-2},
PAGES = {935-950},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Joly/01,
AUTHOR = {Joly, Thierry},
TITLE = {Constant time parallel computations in $\lambda$-calculus},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {266},
NUMBER = {1-2},
PAGES = {975-985},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Krantz-Mogbil/01,
AUTHOR = {Krantz, Thomas and Mogbil, Virgile},
TITLE = {Encoding Hamiltonian circuits into multiplicative linear logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {266},
NUMBER = {1-2},
PAGES = {987-996},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Martin-Monasson-Zecchina/01,
AUTHOR = {Martin, Olivier C. and Monasson, R{\'{e}}mi and Zecchina, Riccardo},
TITLE = {Statistical mechanics methods and phase transitions in optimization problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {265},
NUMBER = {1-2},
PAGES = {3-67},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Mertens/01,
AUTHOR = {Mertens, Stephan},
TITLE = {A physicist's approach to number partitioning},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {265},
NUMBER = {1-2},
PAGES = {79-108},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Achlioptas-Kirousis-Kranakis-Krizanc/01,
AUTHOR = {Achlioptas, Dimitris and Kirousis, Lefteris M. and Kranakis, Evangelos and Krizanc, Danny},
TITLE = {Rigorous results for random $(2+p)$-SAT},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {265},
NUMBER = {1-2},
PAGES = {109-129},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fernandez_de_la_Vega/01,
AUTHOR = {Fernandez de la Vega, W.},
TITLE = {Random 2-SAT: Results and problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {265},
NUMBER = {1-2},
PAGES = {131-146},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Franco/01,
AUTHOR = {Franco, John},
TITLE = {Results related to threshold phenomena research in satisfiability: Lower bounds},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {265},
NUMBER = {1-2},
PAGES = {147-157},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Achlioptas/01,
AUTHOR = {Achlioptas, Dimitris},
TITLE = {Lower bounds for random 3-SAT via differential equations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {265},
NUMBER = {1-2},
PAGES = {159-185},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Dubois/01,
AUTHOR = {Dubois, Olivier},
TITLE = {Upper bounds on the satisfiability threshold},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {265},
NUMBER = {1-2},
PAGES = {187-197},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hartmann-Weigt/01,
AUTHOR = {Hartmann, Alexander K. and Weigt, Martin},
TITLE = {Statistical mechanics perspective on the phase transition in vertex covering of finite-connectivity random graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {265},
NUMBER = {1-2},
PAGES = {199-225},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Culberson-Gent/01,
AUTHOR = {Culberson, Joseph and Gent, Ian},
TITLE = {Frozen development in graph coloring},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {265},
NUMBER = {1-2},
PAGES = {227-264},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Engel/01,
AUTHOR = {Engel, Andreas},
TITLE = {Complexity of learning in artificial neural networks},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {265},
NUMBER = {1-2},
PAGES = {285-306},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kobayashi-Sakakibara/01,
AUTHOR = {Kobayashi, Satoshi and Sakakibara, Yasubumi},
TITLE = {Multiple splicing sytems and the universal computability},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {264},
NUMBER = {1},
PAGES = {3-23},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Manca/01,
AUTHOR = {Manca, Vincenzo},
TITLE = {Logical string rewriting},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {264},
NUMBER = {1},
PAGES = {25-51},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Barriere-Cohen-Mitjana/01,
AUTHOR = {Barri{\`{e}}re, Lali and Cohen, Johanne and Mitjana, Margarida},
TITLE = {Gossiping in chordal rings under the line model},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {264},
NUMBER = {1},
PAGES = {53-64},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bockenhauer/01,
AUTHOR = {B{\"o}ckenhauer, Hans-Joachim},
TITLE = {Communication in the two-way listen-in vertex-disjoint paths mode},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {264},
NUMBER = {1},
PAGES = {65-90},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Goerdt/01a,
AUTHOR = {Goerdt, Andreas},
TITLE = {Random regular graphs with edge faults: Expansion through cores},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {264},
NUMBER = {1},
PAGES = {91-125},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ablayev-Karpinski-Mubarakzjanov/01,
AUTHOR = {Ablayev, Farid and Karpinski, Marek and Mubarakzjanov, Rustam},
TITLE = {On BPP versus $NP \cup$ co$NP$ for ordered read-once branching programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {264},
NUMBER = {1},
PAGES = {127-137},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Mosca/01a,
AUTHOR = {Mosca, Michele},
TITLE = {Counting by quantum eingenvalue estimation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {264},
NUMBER = {1},
PAGES = {139-153},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ambainis/01b,
AUTHOR = {Ambainis, Andris},
TITLE = {Probabilistic inductive inference: A survey},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {264},
NUMBER = {1},
PAGES = {155-167},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fiore-Rosolini/01,
AUTHOR = {Fiore, Marcelo P. and Rosolini, Giuseppe},
TITLE = {Domains in $H$},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {264},
NUMBER = {2},
PAGES = {171-193},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Heckman/01,
AUTHOR = {Heckman, Reinhold},
TITLE = {Characterising $FS$ domains by means of power domains},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {264},
NUMBER = {2},
PAGES = {195-203},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fukuda-Prodon-Sakuma/01,
AUTHOR = {Fukuda, Komei and Prodon, Alain and Sakuma, Tadashi},
TITLE = {Notes on acyclic orientations and the shelling lemma},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {263},
NUMBER = {1-2},
PAGES = {9-16},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Nielsen/01a,
AUTHOR = {Nielsen, Frank},
TITLE = {On point covers of $c$-oriented polygons},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {263},
NUMBER = {1-2},
PAGES = {17-29},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Cara-Lehman-Pasechnik/01,
AUTHOR = {Cara, Philippe and Lehman, Serge and Pasechnik, Dimitrii V.},
TITLE = {On the number of inducitively minimal geometries},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {263},
NUMBER = {1-2},
PAGES = {31-35},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Pasechnik/01,
AUTHOR = {Pasechnik, Dmitrii V.},
TITLE = {On computing Hilbert bases via the Elliot-MacMahon algorithm},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {263},
NUMBER = {1-2},
PAGES = {37-46},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Euler/01,
AUTHOR = {Euler, Reinhardt},
TITLE = {Characterizing bipartite Toeplitz graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {263},
NUMBER = {1-2},
PAGES = {47-58},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Manoussakis-Tuza/01,
AUTHOR = {Manoussakis, Yannis and Tuza, Zsolt},
TITLE = {Ramsey numbers for tournaments},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {263},
NUMBER = {1-2},
PAGES = {75-85},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Karolyi-Rosta/01,
AUTHOR = {K{\'{a}}rolyi, Gyula and Rosta, Vera},
TITLE = {Generalized and geometric Ramsey numbers for cycles},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {263},
NUMBER = {1-2},
PAGES = {87-98},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Damiand-Habib-Paul/01,
AUTHOR = {Damiand, Guillaume and Habib, Michel and Paul, Christophe},
TITLE = {A simple paradigm for graph recognition: Application to cographs and distance hereditary graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {263},
NUMBER = {1-2},
PAGES = {99-111},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Lu-Hsu-Tang/01,
AUTHOR = {Lu, Bor-Kuan and Hsu, Fang-Rong and Tang, Chuan Yi},
TITLE = {Finding the shortest boundary guard of a simple polygon},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {263},
NUMBER = {1-2},
PAGES = {113-121},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Belaga/01,
AUTHOR = {Belaga, E.G.},
TITLE = {Mod 3 arithmetic on triangulated Riemann surfaces},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {263},
NUMBER = {1-2},
PAGES = {123-137},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hwang/01a,
AUTHOR = {Hwang, Hsien-Kuei},
TITLE = {Uniform asymptotics of some Abel sums arising in coding theory},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {263},
NUMBER = {1-2},
PAGES = {145-158},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Angel-Zissimopoulos/01,
AUTHOR = {Angel, Eric and Zissimopoulos, Vassilis},
TITLE = {On the landscape ruggedness of the quadratic assignment problem},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {263},
NUMBER = {1-2},
PAGES = {159-172},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Harbane-Heydemann/01,
AUTHOR = {Harbane, Rabah and Heydemann, Marie-Claude},
TITLE = {Efficient reconfiguration algorithms of de Bruijn and Kautz networks into linear arrays},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {263},
NUMBER = {1-2},
PAGES = {173-189},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Quilliot/01,
AUTHOR = {Quilliot, A.},
TITLE = {Convexity and global optimization: A theoretical link},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {263},
NUMBER = {1-2},
PAGES = {191-204},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Negami/01b,
AUTHOR = {Negami, Seiya},
TITLE = {Note on Ramsey theorems for spatial graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {263},
NUMBER = {1-2},
PAGES = {205-210},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hwang/01b,
AUTHOR = {Hwang, F.K.},
TITLE = {A complementary survey on double-loop networks},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {263},
NUMBER = {1-2},
PAGES = {211-229},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Martin/01a,
AUTHOR = {Martin, Bruno},
TITLE = {A simulation of cellular automata on hexagons by cellular automata on rings},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {263},
NUMBER = {1-2},
PAGES = {231-234},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Calegari-Guidec-Kuonen-Nielsen/01,
AUTHOR = {Cal{\'{e}}gari, Patrice and Guidec, Fr{\'{e}}d{\'{e}}ric and Kuonen, Pierre and Nielsen, Frank},
TITLE = {Combinatorial optimization algorithms for radio network planning},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {263},
NUMBER = {1-2},
PAGES = {235-245},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Favaron-Redouane/01,
AUTHOR = {Favaron, O. and Redouane, Y.},
TITLE = {Neighborhood unions and regularity in graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {263},
NUMBER = {1-2},
PAGES = {247-254},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bazgan-Harkat-Benhamdine-Li-Wozniak/01,
AUTHOR = {Bazgan, Cristina and Harkat-Benhamdine, Amel and Li, Hao and Wo{\'z}niak, Mariusz},
TITLE = {Partitioning vertices of 1-tough graphs into paths},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {263},
NUMBER = {1-2},
PAGES = {255-261},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Indermitte-Liebling-Troyanov-Clemencon/01,
AUTHOR = {Indermitte, C. and Liebling, Th.M. and Troyanov, M. and Cl{\'{e}}men{\c{c}}on, H.},
TITLE = {Voronoi diagrams on piecewise flat surfaces and an application to biological growth},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {263},
NUMBER = {1-2},
PAGES = {263-274},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Golin/01,
AUTHOR = {Golin, Mordecai J.},
TITLE = {A combinatorial approach to Golomb forests},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {263},
NUMBER = {1-2},
PAGES = {283-304},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Matsu-Matsui/01,
AUTHOR = {Matsu, Yasuko and Matsui, Tomomi},
TITLE = {$NP$-completeness for calculating power indices of weighted majority games},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {263},
NUMBER = {1-2},
PAGES = {305-310},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ozeki/01,
AUTHOR = {Ozeki, Michio},
TITLE = {On the covering radius problem for ternary self-dual codes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {263},
NUMBER = {1-2},
PAGES = {311-332},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Li-Li/01,
AUTHOR = {Li, Hao and Li, Jianping},
TITLE = {Independent triangles covering given vertices of a graph},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {263},
NUMBER = {1-2},
PAGES = {333-344},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Maehara-Tokushige/01,
AUTHOR = {Maehara, H. and Tokushige, N.},
TITLE = {When does a planar bipartite framework admit a continuous deformation?},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {263},
NUMBER = {1-2},
PAGES = {345-354},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Cheng-Lih/01,
AUTHOR = {Cheng, Szu-En and Lih, Ko-Wei},
TITLE = {An improvement on a spernerity proof of Horrocks},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {263},
NUMBER = {1-2},
PAGES = {355-377},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hromkovic-Schnitger/01,
AUTHOR = {Hromkovi{\v{c}}, Juraj and Schnitger, Georg},
TITLE = {On the power of Las Vegas II: Two-way finite automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {262},
NUMBER = {1-2},
PAGES = {1-24},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Holub/01,
AUTHOR = {Holub, {\v{S}}t{\v{e}}p{\'{a}}n},
TITLE = {Local and global cyclicity in free semigroups},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {262},
NUMBER = {1-2},
PAGES = {25-36},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Lee-Wozniakowski/01a,
AUTHOR = {Lee, David and Wo{\'z}niakowski, Henryk},
TITLE = {Approximate evaluations of characteristic polynomials of Boolean functions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {262},
NUMBER = {1-2},
PAGES = {37-68},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bertoni-Carpentieri/01a,
AUTHOR = {Bertoni, Alberto and Carpentieri, Marco},
TITLE = {Analogies and differences between quantum and stochastic automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {262},
NUMBER = {1-2},
PAGES = {69-81},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Chen-Du-Hu-Lin-Wang-Xue/01,
AUTHOR = {Chen, Donghui and Du, Ding-Zhu and Hu, Xiao-Dong and Lin, Guo-Hui and Wang, Lusheng and Xue, Guoliang},
TITLE = {Approximations for Steiner trees with minimum number of Steiner points},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {262},
NUMBER = {1-2},
PAGES = {83-99},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kao-Wang/01,
AUTHOR = {Kao, Ming-Yang and Wang, Jie},
TITLE = {Minimizing roundoff errors of prefix sums via dynamic construction of Huffman trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {262},
NUMBER = {1-2},
PAGES = {101-115},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kobayashi-Mitrana-Paun-Rozenberg/01,
AUTHOR = {Kobayashi, Satoshi and Mitrana, Victor and P{\u{a}}un, Gheorghe and Rozenberg, Grzegorz},
TITLE = {Formal properties of PA-matching},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {262},
NUMBER = {1-2},
PAGES = {117-131},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kalorkoti-Tulley/01,
AUTHOR = {Kalorkoti, K. and Tulley, D.H.},
TITLE = {Priority queues with binary priorities},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {262},
NUMBER = {1-2},
PAGES = {133-144},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Aspvall-Halldorsson-Manne/01,
AUTHOR = {Aspvall, Bengt and Halld{\'{o}}rsson, Magn{\'{u}}s M. and Manne, Fredrik},
TITLE = {Approximation for the general block distribution of a matrix},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {262},
NUMBER = {1-2},
PAGES = {145-160},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{DasGupta-Sontag/01,
AUTHOR = {DasGupta, Bhaskar and Sontag, Eduardo D.},
TITLE = {A polynomial-time algorithm for checking equivalence under certain semiring congruences motivated by the state-space isomorphism problem for hybrid systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {262},
NUMBER = {1-2},
PAGES = {161-189},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Jenkinson/01,
AUTHOR = {Jenkinson, Oliver},
TITLE = {Strong cocycle triviality for $Z^2$ subshifts},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {262},
NUMBER = {1-2},
PAGES = {191-213},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hsieh-Chen-Ho/01,
AUTHOR = {Hsieh, Sun-Yuan and Chen, Gen-Huey and Ho, Chin-Wen},
TITLE = {Longest fault-free paths in star graphs with vertex faults},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {262},
NUMBER = {1-2},
PAGES = {215-227},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Danyi-Fulop/01,
AUTHOR = {D{\'{a}}nyi, G. and F{\"u}l{\"o}p, Z.},
TITLE = {The component hierarchy of chain-free cooperating distributed regular tree grammars},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {262},
NUMBER = {1-2},
PAGES = {229-240},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fenner-Homer-Pruim-Schaefer/01,
AUTHOR = {Fenner, Stephen and Homer, Steven and Pruim, Randall and Schaefer, Marcus},
TITLE = {Hyper-polynomial hierarchies and the polynomial jump},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {262},
NUMBER = {1-2},
PAGES = {241-256},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Lu-Gu-Hu-Shragowitz/01,
AUTHOR = {Lu, Bing and Gu, Jun and Hu, Xiaodong and Shragowitz, Eugene},
TITLE = {Wire segmenting for buffer insertion based on RSTP-MSP},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {262},
NUMBER = {1-2},
PAGES = {257-267},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Duval-Mignosi-Restivo/01,
AUTHOR = {Duval, J.-P. and Mignosi, F. and Restivo, A.},
TITLE = {Recurrence and periodicity in infinite words from local periods},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {262},
NUMBER = {1-2},
PAGES = {269-284},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kindler-Volzer/01,
AUTHOR = {Kindler, Ekkart and V{\"o}lzer, Hagen},
TITLE = {Algebraic nets with flexible arcs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {262},
NUMBER = {1-2},
PAGES = {285-310},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ohlebusch/01,
AUTHOR = {Ohlebusch, Enno},
TITLE = {Implementing conditional term rewriting by graph rewriting},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {262},
NUMBER = {1-2},
PAGES = {311-331},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Lam/01,
AUTHOR = {Lam, Nguyen Huong},
TITLE = {Finite maximal solid codes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {262},
NUMBER = {1-2},
PAGES = {333-347},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fiebig-Fiebig-Jonoska/01,
AUTHOR = {Fiebig, Doris and Fiebig, Ulf-Rainer and Jonoska, Nata{\v{s}}a},
TITLE = {Multiplicities of covers for sofic shifts},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {262},
NUMBER = {1-2},
PAGES = {349-375},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Drewes/01,
AUTHOR = {Drewes, Frank},
TITLE = {Tree-based generation of languages of fractals},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {262},
NUMBER = {1-2},
PAGES = {377-414},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Park-Park/01,
AUTHOR = {Park, Heejin and Park, Kunsoo},
TITLE = {Parallel algorithms for red-black trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {262},
NUMBER = {1-2},
PAGES = {415-435},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Cheng-Xu/01,
AUTHOR = {Cheng, Siu-Wing and Xu, Yin-Feng},
TITLE = {On $\beta$-skeleton as a subgraph of the minimum weight triangulation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {262},
NUMBER = {1-2},
PAGES = {459-471},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Borchert-Silvestri/01,
AUTHOR = {Borchert, Bernd and Silvestri, Riccardo},
TITLE = {Dot operators},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {262},
NUMBER = {1-2},
PAGES = {501-523},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Latapy-Mantaci-Morvan-Phan/01,
AUTHOR = {Latapy, Matthieu and Mantaci, Roberto and Morvan, Michel and Phan, Ha Duong},
TITLE = {Structure of some sand piles model},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {262},
NUMBER = {1-2},
PAGES = {525-556},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Czumaj-Finch-Gasieniec-Gibbons-Leng-Rytter-Zito/01,
AUTHOR = {Czumaj, Artur and Finch, Ian and G{\c{a}}sieniec, Leszek and Gibbons, Alan and Leng, Paul and Rytter, Wojciech and Zito, Michele},
TITLE = {Efficient web searching using temporal factors},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {262},
NUMBER = {1-2},
PAGES = {569-582},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kobayashi-Katsura-Shikishima-Tsuji/01,
AUTHOR = {Kobayashi, Yuji and Katsura, Masashi and Shikishima-Tsuji, Kayoko},
TITLE = {Termination and derivational complexity of confluent one-rule string-rewriting systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {262},
NUMBER = {1-2},
PAGES = {583-632},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Janssen-Narayanan/01,
AUTHOR = {Janssen, Jeannette and Narayanan, Lata},
TITLE = {Approximation algorithms for channel assignment with constraints},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {262},
NUMBER = {1-2},
PAGES = {649-667},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Finkel/01a,
AUTHOR = {Finkel, Olivier},
TITLE = {Topological properties of omega context-free languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {262},
NUMBER = {1-2},
PAGES = {669-697},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Jain-Lange-Nessel/01,
AUTHOR = {Jain, Sanjay and Lange, Steffen and Nessel, Jochen},
TITLE = {On the learnability of recursively enumerable languages from good examples},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {261},
NUMBER = {1},
PAGES = {3-29},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Case-Jain-Sharma/01,
AUTHOR = {Case, John and Jain, Sanjay and Sharma, Arun},
TITLE = {Synthesizing noise-tolerant language learners},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {261},
NUMBER = {1},
PAGES = {31-56},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Gurvits/01,
AUTHOR = {Gurvits, Leonid},
TITLE = {A note on a scale-sensitive dimension of linear bounded functionals in Banach spaces},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {261},
NUMBER = {1},
PAGES = {81-90},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ambainis-Apstis-Freivalds-Smith/01,
AUTHOR = {Ambainis, Andris and Aps{\={\i}}tis, Kalvis and Freivalds, R{\={u}}si{\c{n}}{\v{s}} and Smith, Carl H.},
TITLE = {Hierarchies of probabilistic and team FIN-learning},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {261},
NUMBER = {1},
PAGES = {91-117},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Erlebach-Rossmanith-Stadtherr-Steger-Zeugmann/01,
AUTHOR = {Erlebach, Thomas and Rossmanith, Peter and Stadtherr, Hans and Steger, Angelika and Zeugmann, Thomas},
TITLE = {Learning one-variable pattern languages very efficiently on average, in parallel, and by asking queries},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {261},
NUMBER = {1},
PAGES = {119-156},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Maass/01,
AUTHOR = {Maass, Wolfgang},
TITLE = {On the relevance of time in neural computation and learning},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {261},
NUMBER = {1},
PAGES = {157-178},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Chung-Graham/01,
AUTHOR = {Chung, Fan and Graham, Ronald},
TITLE = {Dynamic location problems with limited look-ahead},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {261},
NUMBER = {2},
PAGES = {213-226},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Iwama-Miyano-Tajima-Tamaki/01,
AUTHOR = {Iwama, Kazuo and Miyano, Eiji and Tajima, Satoshi and Tamaki, Hisao},
TITLE = {Efficient randomized routing algorithms on the two-dimensional mesh of buses},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {261},
NUMBER = {2},
PAGES = {227-239},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kim-Du/01,
AUTHOR = {Kim, Dongsoo S. and Du, Ding-Zhu},
TITLE = {Multirate multicast switching networks},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {261},
NUMBER = {2},
PAGES = {241-251},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kiwi-Spielman-Teng/01,
AUTHOR = {Kiwi, Marcos and Spielman, Daniel A. and Teng, Shang-Hua},
TITLE = {Min-max-boundary domain decomposition},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {261},
NUMBER = {2},
PAGES = {253-266},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Lopez-Ortiz-Schuierer/01,
AUTHOR = {L{\'{o}}pez-Ortiz, Alejandro and Schuierer, Sven},
TITLE = {The ultimate strategy to search on $m$ rays?},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {261},
NUMBER = {2},
PAGES = {267-295},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Lu/01a,
AUTHOR = {Lu, Chi-Jen},
TITLE = {An exact characterization of symmetric functions in $qAC^0[2]$},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {261},
NUMBER = {2},
PAGES = {297-303},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Reith-Wagner/01,
AUTHOR = {Reith, Steffen and Wagner, Klaus W.},
TITLE = {On Boolean lowness and Boolean highness},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {261},
NUMBER = {2},
PAGES = {305-321},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Crstea/01,
AUTHOR = {C{\^{\i}}rstea, Corina},
TITLE = {Semantic constructions for the specification of objects},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {260},
NUMBER = {1-2},
PAGES = {3-25},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Corradini-Grosse-Rhode-Heckel/01,
AUTHOR = {Corradini, Andrea and Gro{\"ss}e-Rhode, Martin and Heckel, Reiko},
TITLE = {A coalgebraic presentation of structured transition systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {260},
NUMBER = {1-2},
PAGES = {27-55},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Gumm/01,
AUTHOR = {Gumm, H. Peter},
TITLE = {Equational and implicational classes of coalgebras},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {260},
NUMBER = {1-2},
PAGES = {57-69},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Gumm-Schroder/01,
AUTHOR = {Gumm, H. Peter and Schr{\"o}der, Tobias},
TITLE = {Covarieties and complete covarieties},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {260},
NUMBER = {1-2},
PAGES = {71-86},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Johnstone-Power-Tsujishita-Watanabe-Worrell/01,
AUTHOR = {Johnstone, Peter and Power, John and Tsujishita, Toru and Watanabe, Hiroshi and Worrell, James},
TITLE = {On the structure of categories of coalgebras},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {260},
NUMBER = {1-2},
PAGES = {87-117},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kurz/01,
AUTHOR = {Kurz, Alexander},
TITLE = {Specifying coalgebras with modal logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {260},
NUMBER = {1-2},
PAGES = {119-138},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Moss/01,
AUTHOR = {Moss, Lawrence S.},
TITLE = {Parametric corecursion},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {260},
NUMBER = {1-2},
PAGES = {139-163},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Pardo/01,
AUTHOR = {Pardo, Alberto},
TITLE = {Fusion of recursive programs with computational effects},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {260},
NUMBER = {1-2},
PAGES = {165-207},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Rossiger/01,
AUTHOR = {R{\"o}{\"ss}iger, Martin},
TITLE = {From modal logic to terminal coalgebras},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {260},
NUMBER = {1-2},
PAGES = {209-228},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bonizzoni-Vedova/01,
AUTHOR = {Bonizzoni, Paola and Vedova, Gianluca Della},
TITLE = {The complexity of multiple sequence alignment with $SP$-score that is a metric},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {259},
NUMBER = {1-2},
PAGES = {63-79},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Chrobak-Durr/01,
AUTHOR = {Chrobak, Marek and D{\"u}rr, Christoph},
TITLE = {Reconstructing polyatomic structures from discrete X-rays: $NP$-completeness proof for three atoms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {259},
NUMBER = {1-2},
PAGES = {81-98},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Margenstern-Morita/01,
AUTHOR = {Margenstern, Maurice and Morita, Kenichi},
TITLE = {$NP$-problems are tractable in the space of cellular automata in the hyperbolic plane},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {259},
NUMBER = {1-2},
PAGES = {99-128},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kobayashi/01,
AUTHOR = {Kobayashi, Kojiro},
TITLE = {On time optimal solutions of the firing squad synchronization problem for two-dimensional paths},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {259},
NUMBER = {1-2},
PAGES = {129-143},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Carpi-Luca/01a,
AUTHOR = {Carpi, Arturo and Luca, Aldo de},
TITLE = {Words and special factors},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {259},
NUMBER = {1-2},
PAGES = {145-182},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Klimann/01,
AUTHOR = {Klimann, Ines},
TITLE = {New types of automata to solve fixed point problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {259},
NUMBER = {1-2},
PAGES = {183-197},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hoang-Sritharan/01,
AUTHOR = {Ho{\`{a}}ng, Ch{\'{i}}nh T. and Sritharan, R.},
TITLE = {Finding houses and holes in graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {259},
NUMBER = {1-2},
PAGES = {233-244},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Jacob-Da_Col/01,
AUTHOR = {Jacob-Da Col, Marie-Andr{\'{e}}e},
TITLE = {Applications quasi-affines et pavages du plan discret},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {259},
NUMBER = {1-2},
PAGES = {245-269},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Dubacq-Durand-Formenti/01,
AUTHOR = {Dubacq, J.-C. and Durand, B. and Formenti, E.},
TITLE = {Kolmogorov complexity and cellular automata classification},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {259},
NUMBER = {1-2},
PAGES = {271-285},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Frigioni-Marchetti-Spaccamela-Nanni/01,
AUTHOR = {Frigioni, Daniele and Marchetti-Spaccamela, Alberto and Nanni, Umberto},
TITLE = {Dynamic algorithms for classes of constraint satisfaction problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {259},
NUMBER = {1-2},
PAGES = {287-305},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Goerdt/01,
AUTHOR = {Goerdt, Andreas},
TITLE = {The giant component threshold for random regular graphs with edge faults},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {259},
NUMBER = {1-2},
PAGES = {307-321},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hong-Birget/01,
AUTHOR = {Hong, Dawei and Birget, Jean-Camille},
TITLE = {Approximation of some $NP$-hard optimization problems by finite machines, in probability},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {259},
NUMBER = {1-2},
PAGES = {323-339},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bonizzoni-McConnell/01,
AUTHOR = {Bonizzoni, Paola and McConnell, Ross M.},
TITLE = {Nesting of prime substructures in $k$-ary relations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {259},
NUMBER = {1-2},
PAGES = {341-357},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Barbe-Skordev/01,
AUTHOR = {Barb{\'{e}}, A. and Skordev, G.},
TITLE = {Decimation-invariant sequences and their automaticity},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {259},
NUMBER = {1-2},
PAGES = {379-403},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fernau-Holzer-Freund/01,
AUTHOR = {Fernau, H. and Holzer, M. and Freund, R.},
TITLE = {Hybrid modes in cooperating distributed grammar systems: Internal versus external hybridization},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {259},
NUMBER = {1-2},
PAGES = {405-426},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kaufmann-Stephan/01,
AUTHOR = {Kaufmann, Susanne and Stephan, Frank},
TITLE = {Robust learning with infinite additional information},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {259},
NUMBER = {1-2},
PAGES = {427-454},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Case-Chen-Jain/01,
AUTHOR = {Case, John and Chen, Keh-Jiann and Jain, Sanjay},
TITLE = {Costs of general purpose learning},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {259},
NUMBER = {1-2},
PAGES = {455-473},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bloom-Choffrut/01,
AUTHOR = {Bloom, Stepehn L. and Choffrut, Christian},
TITLE = {Long words: The theory of concatenation and $\omega$-power},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {259},
NUMBER = {1-2},
PAGES = {533-548},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Guijarro-Lavin-Raghavan/01,
AUTHOR = {Guijarro, David and Lav{\'{i}}n, V{\'{i}}ctor and Raghavan, Vijay},
TITLE = {Monotone term decision lists},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {259},
NUMBER = {1-2},
PAGES = {549-575},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Aldaz-Matera-Montana-Pardo/01,
AUTHOR = {Aldaz, M. and Matera, G. and Monta{\~n}a, J.L. and Pardo, L.M.},
TITLE = {A new method to obtain lower bounds for polynomial evaluation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {259},
NUMBER = {1-2},
PAGES = {577-596},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Arvind-Toran/01,
AUTHOR = {Arvind, V. and Tor{\'{a}}n, Jacobo},
TITLE = {A nonadaptive $NC$ checker for permutation group intersection},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {259},
NUMBER = {1-2},
PAGES = {597-611},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Grigoriev/01,
AUTHOR = {Grigoriev, Dima},
TITLE = {Linear lower bound on degrees of Positivstellensatz calculus proofs for the parity},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {259},
NUMBER = {1-2},
PAGES = {613-622},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kirrinnis/01,
AUTHOR = {Kirrinnis, Peter},
TITLE = {Fast algorithms for the Sylvester equation $AX - XB^T = C$},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {259},
NUMBER = {1-2},
PAGES = {623-638},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Heuer/01,
AUTHOR = {Heuer, Gerald A.},
TITLE = {Three-partition games on rectangles},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {259},
NUMBER = {1-2},
PAGES = {639-661},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fuster-Sabater-Garcia-Villalba/01,
AUTHOR = {F{\'{u}}ster-Sabater, A. and Garc{\'{i}}a-Villalba, L.J.},
TITLE = {An efficient algorithm to generate binary sequences for cryptographic purposes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {259},
NUMBER = {1-2},
PAGES = {679-688},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Honkala-Salomaa/01,
AUTHOR = {Honkala, Juha and Salomaa, Arto},
TITLE = {Watson-Crick D0L systems with regular triggers},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {259},
NUMBER = {1-2},
PAGES = {689-698},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Broy-Stefanescu/01,
AUTHOR = {Broy, Manfred and {\c{S}}tef{\u{a}}nescu, Gheorghe},
TITLE = {The algebra of stream processing functions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {258},
NUMBER = {1-2},
PAGES = {99-129},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Engelfriet-Gelsema/01,
AUTHOR = {Engelfriet, Joost and Gelsema, Tjalling},
TITLE = {Structural inclusion in the pi-calculus with replication},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {258},
NUMBER = {1-2},
PAGES = {131-168},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Mano-Ogawa/01,
AUTHOR = {Mano, Ken and Ogawa, Mizuhito},
TITLE = {Unique normal form property of compatible term rewriting systems: A new proof of Chew's theorem},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {258},
NUMBER = {1-2},
PAGES = {169-208},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hains-Loulergue-Mullins/01,
AUTHOR = {Hains, Ga{\'{e}}tan and Loulergue, Fr{\'{e}}d{\'{e}}ric and Mullins, John},
TITLE = {Concrete data structures and functional parallel programming},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {258},
NUMBER = {1-2},
PAGES = {233-267},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Delzanno-Martelli/01,
AUTHOR = {Delzanno, Giorgio and Martelli, Maurizio},
TITLE = {Proofs as computations in linear logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {258},
NUMBER = {1-2},
PAGES = {269-297},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Birkedal-Tofte/01,
AUTHOR = {Birkedal, Lars and Tofte, Mads},
TITLE = {A constraint-based region inference algorithm},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {258},
NUMBER = {1-2},
PAGES = {299-392},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Corradini-Di_Cola/01,
AUTHOR = {Corradini, Flavio and Di Cola, Dino},
TITLE = {On testing urgency through laziness over processes with durational actions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {258},
NUMBER = {1-2},
PAGES = {393-407},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Jancar-Kucera-Mayr/01,
AUTHOR = {Jan{\c{c}}ar, Petr and Ku{\v{c}}era, Anton{\'{i}}n and Mayr, Richard},
TITLE = {Deciding bisumulation-like equivalences with finite-state processes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {258},
NUMBER = {1-2},
PAGES = {409-433},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Gramlich/01,
AUTHOR = {Gramlich, Bernhard},
TITLE = {On interreduction of semi-complete term rewriting systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {258},
NUMBER = {1-2},
PAGES = {435-451},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Emerson-Jutla-Sistla/01,
AUTHOR = {Emerson, E. Allen and Jutla, Charanjit S. and Sistla, A. Prasad},
TITLE = {On model checking for the $\mu$-calculus and its fragments},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {258},
NUMBER = {1-2},
PAGES = {491-522},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Brass-Dix-Niemela-Przymusinski/01,
AUTHOR = {Brass, Stefan and Dix, J{\"u}rgen and Niemel{\"a}, Ilkka and Przymusinski, Teodor C.},
TITLE = {On the equivalence of the static and disjunctive well-founded semantics and its computation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {258},
NUMBER = {1-2},
PAGES = {523-553},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Darondeau/01,
AUTHOR = {Darondeau, Philippe},
TITLE = {On the Petri net realization of context-free graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {258},
NUMBER = {1-2},
PAGES = {573-598},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ressayre/01,
AUTHOR = {Ressayre, J.-P.},
TITLE = {Weak arithmetics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {257},
NUMBER = {1-2},
PAGES = {1-15},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Richard/01,
AUTHOR = {Richard, Denis},
TITLE = {What are weak arithmetics?},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {257},
NUMBER = {1-2},
PAGES = {17-29},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Cegielski-Richard/01,
AUTHOR = {Cegielski, Patrick and Richard, Denis},
TITLE = {Decidability of the theory of the natural integers with the cantor pairing function and the successor},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {257},
NUMBER = {1-2},
PAGES = {51-77},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Dimitracopoulos/01,
AUTHOR = {Dimitracopoulos, C.},
TITLE = {On end extensions of models of subsystems of Peano arithmethic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {257},
NUMBER = {1-2},
PAGES = {79-84},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Duparc-Finkel-Ressayre/01,
AUTHOR = {Duparc, J. and Finkel, O. and Ressayre, J.-P.},
TITLE = {Computer science and the fine structure of Borel sets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {257},
NUMBER = {1-2},
PAGES = {85-105},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Esbelin/01,
AUTHOR = {Esbelin, Henri-Alex},
TITLE = {Counting modulo finite semigroups},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {257},
NUMBER = {1-2},
PAGES = {107-114},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Korec/01,
AUTHOR = {Korec, Ivan},
TITLE = {A list of arithmetical structures complete with respect to the first-order definability},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {257},
NUMBER = {1-2},
PAGES = {115-151},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Margenstern/01,
AUTHOR = {Margenstern, Maurice},
TITLE = {On quasi-unilateral universal Turing machines},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {257},
NUMBER = {1-2},
PAGES = {153-166},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Matiyasevich/01,
AUTHOR = {Matiyasevich, Yuri},
TITLE = {Some arithmetical restatements of the Four Color Conjecture},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {257},
NUMBER = {1-2},
PAGES = {167-183},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hirsheld-Moller/01,
AUTHOR = {Hirsheld, Yoram and Moller, Faron},
TITLE = {Pushdown automata, multiset automata, and Petri nets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {256},
NUMBER = {1-2},
PAGES = {3-21},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Jancar/01,
AUTHOR = {Jan{\v{c}}ar, Petr},
TITLE = {Nonprimitive recursive complexity and undecidability for Petri net equivalences},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {256},
NUMBER = {1-2},
PAGES = {23-30},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Mayr/01,
AUTHOR = {Mayr, Richard},
TITLE = {Decidability of model checking with the temporal logic EF},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {256},
NUMBER = {1-2},
PAGES = {31-62},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Finkel-Schnoebelen/01,
AUTHOR = {Finkel, A. and Schnoebelen, Ph.},
TITLE = {Well-structured transition systems everywhere!},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {256},
NUMBER = {1-2},
PAGES = {63-92},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kesten-Maler-Marcus-Pnueli-Shahar/01,
AUTHOR = {Kesten, Y. and Maler, O. and Marcus, M. and Pnueli, A. and Shahar, E.},
TITLE = {Symbolic model checking with rich assertional languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {256},
NUMBER = {1-2},
PAGES = {93-112},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Lesens-Halbwachs-Raymond/01,
AUTHOR = {Lesens, David and Halbwachs, Nicolas and Raymond, Pascal},
TITLE = {Automatic verification of parameterized networks of processes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {256},
NUMBER = {1-2},
PAGES = {113-144},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Abdulla-Jonsson/01,
AUTHOR = {Abdulla, Parosh Aziz and Jonsson, Bengt},
TITLE = {Ensuring completeness of symbolic verification methods for infinite-state systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {256},
NUMBER = {1-2},
PAGES = {145-167},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Erlebach-Jansen/01a,
AUTHOR = {Erlebach, Thomas and Jansen, Klaus},
TITLE = {The complexity of path coloring and call scheduling},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {255},
NUMBER = {1-2},
PAGES = {33-50},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Arikati-Dessmark-Lingas-Marathe/01,
AUTHOR = {Arikati, Srinivasa R. and Dessmark, Anders and Lingas, Andrzej and Marathe, Madhav V.},
TITLE = {Approximation algorithms for maximum two-dimensional pattern matching},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {255},
NUMBER = {1-2},
PAGES = {51-62},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Duntsch-Wang-McCloskey/01,
AUTHOR = {D{\"u}ntsch, Ivo and Wang, Hui and McCloskey, Steve},
TITLE = {A relation-algebraic approach to the region connection calculus},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {255},
NUMBER = {1-2},
PAGES = {63-83},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Jain/01a,
AUTHOR = {Jain, Sanjay},
TITLE = {Branch and bound on the network model},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {255},
NUMBER = {1-2},
PAGES = {107-123},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Calude-Hertling-Khoussainov-Wang/01,
AUTHOR = {Calude, Cristian S. and Hertling, Peter H. and Khoussainov, Bakhadyr and Wang, Yongge},
TITLE = {Recursively enumberable reals and Chaitin $\Omega$ numbers},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {255},
NUMBER = {1-2},
PAGES = {125-149},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Neraud-Selmi/01,
AUTHOR = {N{\'{e}}raud, Jean and Selmi, Carla},
TITLE = {On codes with a finite deciphering delay: Constructing uncompletable words},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {255},
NUMBER = {1-2},
PAGES = {151-162},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Halava-Hirvensalo-Wolf/01,
AUTHOR = {Halava, Vesa and Hirvensalo, Mika and Wolf, Ronald de},
TITLE = {Marked PCP is decidable},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {255},
NUMBER = {1-2},
PAGES = {193-204},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Arvind-Kobler/01,
AUTHOR = {Arvind, V. and K{\"o}bler, Johannes},
TITLE = {On pseudorandomness and resource-bounded measure},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {255},
NUMBER = {1-2},
PAGES = {205-221},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Finkel/01,
AUTHOR = {Finkel, Olivier},
TITLE = {Locally finite languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {255},
NUMBER = {1-2},
PAGES = {223-261},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Calamoneri-Massini/01,
AUTHOR = {Calamoneri, Tiziana and Massini, Annalisa},
TITLE = {Optimal three-dimensional layout of interconnection networks},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {255},
NUMBER = {1-2},
PAGES = {263-279},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Feder/01a,
AUTHOR = {Feder, Tom{\'{a}}s},
TITLE = {Fanout limitations on constraint systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {255},
NUMBER = {1-2},
PAGES = {281-293},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Apolloni-Malchiodi/01,
AUTHOR = {Apolloni, B. and Malchiodi, D.},
TITLE = {Gaining degrees of freedom in subsymbolic learning},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {255},
NUMBER = {1-2},
PAGES = {295-321},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Lopez-Narbel/01,
AUTHOR = {Lopez, Luis-Miguel and Narbel, Philippe},
TITLE = {Substitutions and interval exchange transformation of rotation class},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {255},
NUMBER = {1-2},
PAGES = {323-344},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Penaud-Pergola-Pinzani-Roques/01,
AUTHOR = {Penaud, Jean-Guy and Pergola, Elisa and Pinzani, Renzo and Roques, Olivier},
TITLE = {Chemins de Schr{\"o}der et hi{\'e}rarchies al{\'e}atoires},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {255},
NUMBER = {1-2},
PAGES = {345-361},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Justin-Pirillo/01,
AUTHOR = {Justin, Jacques and Pirillo, Giuseppe},
TITLE = {Fractional powers in Sturmian words},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {255},
NUMBER = {1-2},
PAGES = {363-376},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Rahonis/01,
AUTHOR = {Rahonis, George},
TITLE = {Alphabetic and synchronized tree transducers},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {255},
NUMBER = {1-2},
PAGES = {377-399},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Koskinen/01,
AUTHOR = {Koskinen, Jukka A.},
TITLE = {Non-injective knapsack public-key cryptosystems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {255},
NUMBER = {1-2},
PAGES = {401-422},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fischer-Preparata-Savage/01,
AUTHOR = {Fischer, Paul F. and Preparata, Franco P. and Savage, John E.},
TITLE = {Generalized scans and tridiagonal systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {255},
NUMBER = {1-2},
PAGES = {423-436},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Picouleau/01,
AUTHOR = {Picouleau, C.},
TITLE = {Reconstruction of domino tiling from its two orthogonal projections},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {255},
NUMBER = {1-2},
PAGES = {437-447},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Jin-Li-Chen/01,
AUTHOR = {Jin, Guohua and Li, Zhiyuan and Chen, Fujie},
TITLE = {A theoretical foundation for program transformations to reduce cache thrashing due to true data sharing},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {255},
NUMBER = {1-2},
PAGES = {449-481},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Mantaci-Restivo/01,
AUTHOR = {Mantaci, Sabrina and Restivo, Antonio},
TITLE = {Codes and equations on trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {255},
NUMBER = {1-2},
PAGES = {483-509},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Csuhaj-Varju-Vaszil/01,
AUTHOR = {Csuhaj-Varj{\'{u}}, Erzs{\'{e}}bet and Vaszil, Gy{\"o}rgy},
TITLE = {On context-free parallel communicating grammar systems: Synchronization, communication, and normal forms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {255},
NUMBER = {1-2},
PAGES = {511-538},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Droubay-Justin-Pirillo/01,
AUTHOR = {Droubay, Xavier and Justin, Jacques and Pirillo, Giuseppe},
TITLE = {Episturmian words and some constructions of de Luca and Rauzy},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {255},
NUMBER = {1-2},
PAGES = {539-553},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Almeida-Silva/01,
AUTHOR = {Almeida, Jorge and Silva, Pedro V.},
TITLE = {$SC$-hyperdecidability of $R$},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {255},
NUMBER = {1-2},
PAGES = {569-591},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Cucker/01,
AUTHOR = {Cucker, Felipe},
TITLE = {On weak and weighted computations over the real closure of $Q$},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {255},
NUMBER = {1-2},
PAGES = {593-600},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Incitti/01,
AUTHOR = {Incitti, Roberto},
TITLE = {The growth function of context-free languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {255},
NUMBER = {1-2},
PAGES = {601-605},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fournier/01a,
AUTHOR = {Fournier, Herv{\'{e}}},
TITLE = {Sparse $NP$-complete problems over the reals with addition},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {255},
NUMBER = {1-2},
PAGES = {607-610},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Nikolskaia-Nikolskaia/01,
AUTHOR = {Nikolskaia, M. and Nikolskaia, L.},
TITLE = {Size of OBDD representation of 2-level redundancies functions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {255},
NUMBER = {1-2},
PAGES = {615-625},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Nandy-Harayama-Asano/01,
AUTHOR = {Nandy, Subhas C. and Harayama, Tomohiro and Asano, Tetsuo},
TITLE = {Dynamically maintaining the widest $k$-dense corridor},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {255},
NUMBER = {1-2},
PAGES = {627-639},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ravi_Kumar-Sivakumar/01,
AUTHOR = {Ravi Kumar, S. and Sivakumar, D.},
TITLE = {On the unique shortest lattice vector problem},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {255},
NUMBER = {1-2},
PAGES = {641-648},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Chen-Chung/01a,
AUTHOR = {Chen, Yu-Wei and Chung, Kuo-Liang},
TITLE = {Improved fault-tolerant sorting algorithm in hypercubes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {255},
NUMBER = {1-2},
PAGES = {649-658},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Chen-Wu/01a,
AUTHOR = {Chen, Chiuyuan and Wu, Kaiping},
TITLE = {Disproving a conjecture on planar visibility graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {255},
NUMBER = {1-2},
PAGES = {659-665},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Honkala/01a,
AUTHOR = {Honkala, Juha},
TITLE = {On Parikh slender context-free languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {255},
NUMBER = {1-2},
PAGES = {667-677},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Barcucci-Rinaldi/01,
AUTHOR = {Barcucci, E. and Rinaldi, S.},
TITLE = {Some linear recurrences and their combinatorial interpretation by means of regular languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {255},
NUMBER = {1-2},
PAGES = {679-686},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Blondel-Bournez-Koiran-Papadimitriou-Tsitsiklis/01,
AUTHOR = {Blondel, Vincent D. and Bournez, Olivier and Koiran, Pascal and Papadimitriou, Christos H. and Tsitsiklis, John N.},
TITLE = {Deciding stability and mortality of piecewise affine dynamcial systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {255},
NUMBER = {1-2},
PAGES = {687-696},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Recalde-Teruel-Silva/01,
AUTHOR = {Recalde, Laura and Teruel, Enrique and Silva, Manuel},
TITLE = {Structure theory of multi-level deterministically synchronized sequential processes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {254},
NUMBER = {1-2},
PAGES = {1-33},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ingolfsdottir-Schalk/01,
AUTHOR = {Ing{\'{o}}lfsd{\'{o}}ttir, Anna and Schalk, Andrea},
TITLE = {A fully abstract denotational model for observational precongruence},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {254},
NUMBER = {1-2},
PAGES = {35-61},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Monin-Simonot/01,
AUTHOR = {Monin, Fran{\c{c}}ois and Simonot, Marianne},
TITLE = {An ordinal measure based procedure for termination of functions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {254},
NUMBER = {1-2},
PAGES = {63-94},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Resende/01,
AUTHOR = {Resende, Pedro},
TITLE = {Quantales, finite observations and strong bisimulation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {254},
NUMBER = {1-2},
PAGES = {95-149},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Crolard/01,
AUTHOR = {Crolard, Tristan},
TITLE = {Subtractive logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {254},
NUMBER = {1-2},
PAGES = {151-185},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ramesh-Ramakrishnan-Sekar/01,
AUTHOR = {Ramesh, R. and Ramakrishnan, I.V. and Sekar, R.C.},
TITLE = {Automata driven efficient subterm unification},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {254},
NUMBER = {1-2},
PAGES = {187-223},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Raffalli/01,
AUTHOR = {Raffalli, Christophe},
TITLE = {Completeness, minimal logic and programs extraction},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {254},
NUMBER = {1-2},
PAGES = {259-271},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Guerraoui-Schiper/01,
AUTHOR = {Guerraoui, Rachid and Schiper, Andr{\'{e}}},
TITLE = {Genuine atomic multicast in asynchronous distributed systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {254},
NUMBER = {1-2},
PAGES = {297-316},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Guerini-Masini/01,
AUTHOR = {Guerini, Stefano and Masini, Andrea},
TITLE = {Parsing MELL proof nets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {254},
NUMBER = {1-2},
PAGES = {317-335},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Chen-Nicola/01,
AUTHOR = {Chen, Xiao Jun and Nicola, Rocco de},
TITLE = {Algebraic characterizations of trace and decorated trace equivalences over tree-like structures},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {254},
NUMBER = {1-2},
PAGES = {337-361},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Jenner-Vogler/01,
AUTHOR = {Jenner, Lars and Vogler, Walter},
TITLE = {Fast asynchronous systems in dense time},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {254},
NUMBER = {1-2},
PAGES = {379-422},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Katoen-Baier-Latella/01,
AUTHOR = {Katoen, Joost-Pieter and Baier, Christel and Latella, Diego},
TITLE = {Metric semantics for true concurrent real time},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {254},
NUMBER = {1-2},
PAGES = {501-542},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Frias-Maddux/01,
AUTHOR = {Frias, Marcelo F. and Maddux, Roger D.},
TITLE = {Completeness of a relational calculus for program schemes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {254},
NUMBER = {1-2},
PAGES = {543-556},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Rondogiannis/01,
AUTHOR = {Rondogiannis, P.},
TITLE = {Stratified negation in temporal logic programming and the cycle-sum test},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {254},
NUMBER = {1-2},
PAGES = {663-676},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Probst-Studer/01,
AUTHOR = {Probst, Dieter and Studer, Thomas},
TITLE = {How to normalize the Jay},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {254},
NUMBER = {1-2},
PAGES = {677-681},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Levene-Loizou/01,
AUTHOR = {Levene, Mark and Loizou, George},
TITLE = {Guaranteeing no interaction between functional dependencies and tree-like inclusion dependencies},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {254},
NUMBER = {1-2},
PAGES = {683-690},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Broy/01,
AUTHOR = {Broy, Manfred},
TITLE = {Refinement of time},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {253},
NUMBER = {1},
PAGES = {3-26},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bjorner-Manna-Sipma-Uribe/01,
AUTHOR = {Bj{\o}rner, Nikolaj S. and Manna, Zohar and Sipma, Henny B. and Uribe, Tom{\'{a}}s E.},
TITLE = {Deductive verification of real-time systems using STeP},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {253},
NUMBER = {1},
PAGES = {27-60},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Dierks/01,
AUTHOR = {Dierks, Henning},
TITLE = {PLC-automata: A new class of implementable real-time automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {253},
NUMBER = {1},
PAGES = {61-93},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Campos-Clarke/01,
AUTHOR = {Campos, S{\'{e}}rgio Vale Aguiar and Clarke, Edmund},
TITLE = {The Verus language: Representing time efficiently with BDDs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {253},
NUMBER = {1},
PAGES = {95-118},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Liu-Joseph/01,
AUTHOR = {Liu, Zhiming and Joseph, Mathai},
TITLE = {Verification, refinement and scheduling of real-time programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {253},
NUMBER = {1},
PAGES = {119-152},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bodei-Degano-Priami/01,
AUTHOR = {Bodei, Chiara and Degano, Pierpaolo and Priami, Corrado},
TITLE = {Names of the $\pi$-calculus agents handled locally},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {253},
NUMBER = {2},
PAGES = {155-184},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Guerrini-Martini-Masini/01,
AUTHOR = {Guerrini, Stefano and Martini, Simone and Masini, Andrea},
TITLE = {Proof nets, garbage, and computations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {253},
NUMBER = {2},
PAGES = {185-237},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Honsell-Miculan-Scagnetto/01a,
AUTHOR = {Honsell, Furio and Miculan, Marino and Scagnetto, Ivan},
TITLE = {$\pi$-calculus in (Co)inductive-type theory},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {253},
NUMBER = {2},
PAGES = {239-285},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Panangaden/01,
AUTHOR = {Panangaden, Prakash},
TITLE = {Measure and probability for concurrency theorists},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {253},
NUMBER = {2},
PAGES = {287-309},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fraenkel-Zusman/01,
AUTHOR = {Fraenkel, Aviezri S. and Zusman, Dmitri},
TITLE = {A new heap game},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {252},
NUMBER = {1-2},
PAGES = {5-12},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fraenkel-Rahat/01,
AUTHOR = {Fraenkel, Aviezri S. and Rahat, Ofer},
TITLE = {Infinite cyclic impartial games},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {252},
NUMBER = {1-2},
PAGES = {13-22},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Gao-Iida-Uiterwijk-Herik/01,
AUTHOR = {Gao, Xinbo and Iida, Hiroyuki and Uiterwijk, Jos W.H.M. and Herik, H. Jaap van den},
TITLE = {Strategies anticipating a difference in search depth using opponent-model search},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {252},
NUMBER = {1-2},
PAGES = {83-104},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Beal-Smith/01,
AUTHOR = {Beal, Donald F. and Smith, Martin C.},
TITLE = {Temporal difference learning applied to game playing and the results of application to shogi},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {252},
NUMBER = {1-2},
PAGES = {105-119},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Breuker-Herik-Uiterwijk-Allis/01,
AUTHOR = {Breuker, Dennis M. and Herik, H. Jaap van den and Uiterwijk, Jos W.H.M. and Allis, L. Victor},
TITLE = {A soluton to the GHI problem for best-first search},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {252},
NUMBER = {1-2},
PAGES = {121-149},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Junghanns-Schaeffer/01,
AUTHOR = {Junghanns, Andreas and Schaeffer, Jonathan},
TITLE = {Sokoban: Improving the search with relevance cuts},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {252},
NUMBER = {1-2},
PAGES = {151-175},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bjornsson-Marsland/01,
AUTHOR = {Bj{\"o}rnsson, Yngvi and Marsland, Tony A.},
TITLE = {Multi-cut $\alpha\beta$-pruning in game-tree search},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {252},
NUMBER = {1-2},
PAGES = {177-196},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Pijls-Bruin/01,
AUTHOR = {Pijls, Wim and Bruin, Arie de},
TITLE = {Game tree algorithms and solution trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {252},
NUMBER = {1-2},
PAGES = {197-215},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Frank-Basin/01,
AUTHOR = {Frank, Ian and Basin, David},
TITLE = {A theoretical and empirical investigation of search in imperfect information games},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {252},
NUMBER = {1-2},
PAGES = {217-256},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Koch/01,
AUTHOR = {Koch, Ina},
TITLE = {Enumerating all connected maximal common subgraphs in two graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {250},
NUMBER = {1-2},
PAGES = {1-30},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Jedrzjowicz-Szepietowski/01,
AUTHOR = {J{\c{e}}drzjowicz, Joanna and Szepietowski, Andrzej},
TITLE = {Schuffle languages are in $P$},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {250},
NUMBER = {1-2},
PAGES = {31-53},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Okawa-Hirose/01,
AUTHOR = {Okawa, Satoshi and Hirose, Sadaki},
TITLE = {Homomorphic characterizations of recursively enumberable languages with very small language classes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {250},
NUMBER = {1-2},
PAGES = {55-69},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Prieur/01,
AUTHOR = {Prieur, Christophe},
TITLE = {How to decide continuity of rational functions on infinite words},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {250},
NUMBER = {1-2},
PAGES = {71-82},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Caporaso-Zito-Galesi/01,
AUTHOR = {Caporaso, S. and Zito, M. and Galesi, N.},
TITLE = {A predicative and decidable characterization of the polynomial classes of languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {250},
NUMBER = {1-2},
PAGES = {83-99},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Merkle/01a,
AUTHOR = {Merkle, Wolfgang},
TITLE = {Structural properties of bounded relations with an application to $NP$ optimization problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {250},
NUMBER = {1-2},
PAGES = {101-124},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Blair-Heggernes-Telle/01,
AUTHOR = {Blair, Jean R.S. and Heggernes, Pinar and Telle, Jan Arne},
TITLE = {A practical algorithm for making filled graphs minimal},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {250},
NUMBER = {1-2},
PAGES = {125-141},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Ateniese-Blundo-Santis/01,
AUTHOR = {Ateniese, Giuseppe and Blundo, Carlo and Santis, Alfredo de},
TITLE = {Extended capabilities for visual cryptography},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {250},
NUMBER = {1-2},
PAGES = {143-161},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Mihalache-Salomaa/01,
AUTHOR = {Mihalache, Valeria and Salomaa, Arto},
TITLE = {Language-theoretic aspects of DNA complematarity},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {250},
NUMBER = {1-2},
PAGES = {163-178},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Bar-Ilan-Kortsarz-Peleg/01,
AUTHOR = {Bar-Ilan, Judit and Kortsarz, Guy and Peleg, David},
TITLE = {Generalized submodular cover problems and applications},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {250},
NUMBER = {1-2},
PAGES = {179-200},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Franciosa-Frigioni-Giaccio/01,
AUTHOR = {Franciosa, Paolo Giulio and Frigioni, Daniele and Giaccio, Roberto},
TITLE = {Semi-dynamic breadth-first search in digraphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {250},
NUMBER = {1-2},
PAGES = {201-217},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Fulop-Vagvolgyi/01,
AUTHOR = {F{\"u}l{\"o}p, Z. and V{\'{a}}gv{\"o}lgyi, S.},
TITLE = {Restricted ground tree transducers},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {250},
NUMBER = {1-2},
PAGES = {219-233},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Brodal-Pinotti/01,
AUTHOR = {Brodal, Gerth St{\o}lting and Pinotti, M. Cristina},
TITLE = {Comparator networks for binary heap construction},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {250},
NUMBER = {1-2},
PAGES = {235-245},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Kim/01b,
AUTHOR = {Kim, Changwook},
TITLE = {Double Greibach operator grammars},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {250},
NUMBER = {1-2},
PAGES = {247-264},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Labhalla-Lombardi-Moutai/01,
AUTHOR = {Labhalla, S. and Lombardi, H. and Moutai, E.},
TITLE = {Espaces m{\'e}triques rationnellement pr{\'e}sent{\'e}s et complexit{\'e}, le cas de l'espace des fonctions r{\'e}elles uniform{\'e}ment continues sur un intervalle compact},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {250},
NUMBER = {1-2},
PAGES = {265-332},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Knuutila/01,
AUTHOR = {Knuutila, Timo},
TITLE = {Re-describing an algorithm by Hopcroft},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {250},
NUMBER = {1-2},
PAGES = {333-363},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Campbell-Robertson-Ruskuc-Thomas/01,
AUTHOR = {Campbell, Colin M. and Robertson, Edmund F. and Ru{\v{s}}kuc, Nikola and Thomas, Richard M.},
TITLE = {Automatic semigroups},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {250},
NUMBER = {1-2},
PAGES = {365-391},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}