@article{Ying/02,
AUTHOR = {Ying, Mingsheng},
TITLE = {Bisimulation indexes and their applications},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {275},
NUMBER = {1-2},
PAGES = {1-68},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Burdick/02,
AUTHOR = {Burdick, Bruce S.},
TITLE = {A note on iterated duals of certain topological spaces},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {275},
NUMBER = {1-2},
PAGES = {69-77},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Manes/02,
AUTHOR = {Manes, Ernest G.},
TITLE = {Taut monads and $T0$-spaces},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {275},
NUMBER = {1-2},
PAGES = {79-109},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Rabinovich/02,
AUTHOR = {Rabinovich, A.},
TITLE = {Finite variability interpretation of monadic logic of order},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {275},
NUMBER = {1-2},
PAGES = {111-125},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Busi/02,
AUTHOR = {Busi, Nadia},
TITLE = {Analysis issues in Petri nets with inhibitor arcs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {275},
NUMBER = {1-2},
PAGES = {127-177},
YEAR = {2002},
KEYWORDS = {7},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Abiteboul-Cluet-Milo/02,
AUTHOR = {Abiteboul, Serge and Cluet, Sophie and Milo, Tova},
TITLE = {Correspondence and translation for heterogeneous data},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {275},
NUMBER = {1-2},
PAGES = {179-213},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Duggan-Ophel/02,
AUTHOR = {Duggan, Dominic and Ophel, John},
TITLE = {Open and closed scopes for constrained genericity},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {275},
NUMBER = {1-2},
PAGES = {215-258},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Degano-Gadducci-Priami/02,
AUTHOR = {Degano, Pierpaolo and Gadducci, Fabio and Priami, Corrado},
TITLE = {A causal semantics for CCS via rewriting logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {275},
NUMBER = {1-2},
PAGES = {259-282},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Stewart/02a,
AUTHOR = {Stewart, Iain A.},
TITLE = {Program schemes, arrays, Lindstr{\"o}m quantifiers and zero-one laws},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {275},
NUMBER = {1-2},
PAGES = {283-310},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Walukiewicz/02,
AUTHOR = {Walukiewicz, Igor},
TITLE = {Monadic second-order logic on tree-like structures},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {275},
NUMBER = {1-2},
PAGES = {311-346},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Beauquier-Slissenko/02,
AUTHOR = {Beauquier, Dani{\`{e}}le and Slissenko, Anatol},
TITLE = {Decidable verification for reducible timed automata specified in a first order logic with time},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {275},
NUMBER = {1-2},
PAGES = {347-388},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Sessa/02,
AUTHOR = {Sessa, Maria I.},
TITLE = {Approximate reasoning by similarity-based SLD resolution},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {275},
NUMBER = {1-2},
PAGES = {389-426},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Adamek-Hebert-Rosicky/02,
AUTHOR = {Ad{\'{a}}mek, J. and H{\'{e}}bert, M. and Rosick{\'y}, J.},
TITLE = {On abstract data types presented by multiequations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {275},
NUMBER = {1-2},
PAGES = {427-462},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Vorobyov/02a,
AUTHOR = {Vorobyov, Sergei},
TITLE = {$\forall\exists^5$-equational theory of context unification is undecidable},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {275},
NUMBER = {1-2},
PAGES = {463-479},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ying/02a,
AUTHOR = {Ying, Mingsheng},
TITLE = {Additive models of probabilistic processes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {275},
NUMBER = {1-2},
PAGES = {481-519},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Cortesi-Dovier-Quintarelli-Tanca/02,
AUTHOR = {Cortesi, Agostino and Dovier, Agostino and Quintarelli, Elisa and Tanca, Letizia},
TITLE = {Operational and abstract semantics of the query language G-Log},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {275},
NUMBER = {1-2},
PAGES = {521-560},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Zimmermann/02,
AUTHOR = {Zimmermann, Ernst},
TITLE = {Peirce's rule in natural deduction},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {275},
NUMBER = {1-2},
PAGES = {561-574},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Cardone/02,
AUTHOR = {Cardone, Felice},
TITLE = {A coinductive completeness proof for the equivalence of recursive types},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {275},
NUMBER = {1-2},
PAGES = {575-587},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Vogler/02,
AUTHOR = {Vogler, Walter},
TITLE = {Efficiency of asynchronous systems, read arcs, and the MUTEX-problem},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {275},
NUMBER = {1-2},
PAGES = {589-631},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Neven-Schwentick/02,
AUTHOR = {Neven, Frank and Schwentick, Thomas},
TITLE = {Query automata over finite trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {275},
NUMBER = {1-2},
PAGES = {633-674},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bouhoula-Rusinowitch/02,
AUTHOR = {Bouhoula, Adel and Rusinowitch, Micha{\"e}l},
TITLE = {Observational proofs by rewriting},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {275},
NUMBER = {1-2},
PAGES = {675-698},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}