@article{Schurmann-Despeyroux-Pfenning/01,
AUTHOR = {Sch{\"u}rmann, Carsten and Despeyroux, Jo{\"e}lle and Pfenning, Frank},
TITLE = {Primitive recursion for higher-order abstract syntax},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {266},
NUMBER = {1-2},
PAGES = {1-57},
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{Schulz-Kepser/01,
AUTHOR = {Schulz, Klaus U. and Kepser, Stephan},
TITLE = {Combination of constraint systems II: Rational amalgamation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {266},
NUMBER = {1-2},
PAGES = {113-157},
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{Wijesekera-Ganesh-Srivastava-Nerode/01,
AUTHOR = {Wijesekera, Duminda and Ganesh, M. and Srivastava, Jaideep and Nerode, Anil},
TITLE = {Normal forms and syntactic completeness proofs for functional independencies},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {266},
NUMBER = {1-2},
PAGES = {365-405},
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{Shen-Yuan-You/01,
AUTHOR = {Shen, Yi-Dong and Yuan, Li-Yan and You, Jia-Huai},
TITLE = {Loop checks for logic programs with functions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {266},
NUMBER = {1-2},
PAGES = {441-461},
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{Yamasaki-Kurose/01,
AUTHOR = {Yamasaki, Susumu and Kurose, Yoshinori},
TITLE = {A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {266},
NUMBER = {1-2},
PAGES = {489-512},
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{Srba/01,
AUTHOR = {Srba, Ji{\v{r}}{\'{i}}},
TITLE = {Basic process algebra with deadlocking states},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {266},
NUMBER = {1-2},
PAGES = {605-630},
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{Schlechta-Dix/01,
AUTHOR = {Schlechta, Karl and Dix, J{\"u}rgen},
TITLE = {Explaining updates by minimal sums},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {266},
NUMBER = {1-2},
PAGES = {819-838},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ying-Wirsing/01,
AUTHOR = {Ying, Mingsheng and Wirsing, Martin},
TITLE = {Recursive equations in higher-order process calculi},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {266},
NUMBER = {1-2},
PAGES = {839-852},
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{Turner/01,
AUTHOR = {Turner, Raymond},
TITLE = {Type inference for set theory},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {266},
NUMBER = {1-2},
PAGES = {951-974},
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},
}