@article{Curien/02,
AUTHOR = {Curien, Pierre-Louis},
TITLE = {Une br{\`e}ve biographie scientifique de Maurice Nivat},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {281},
NUMBER = {1-2},
PAGES = {3-23},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Rozenberg-Salomaa/02,
AUTHOR = {Rozenberg, Grzegorz and Salomaa, Arto},
TITLE = {ICALP, EATCS and Maurice Nivat},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {281},
NUMBER = {1-2},
PAGES = {25-30},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Arnold/02,
AUTHOR = {Arnold, Andr{\'{e}}},
TITLE = {Nivat's processes and their synchronization},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {281},
NUMBER = {1-2},
PAGES = {31-36},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Banderier-Flajolet/02,
AUTHOR = {Banderier, Cyril and Flajolet, Philippe},
TITLE = {Basic analytic combinatorics of directed lattice paths},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {281},
NUMBER = {1-2},
PAGES = {37-80},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Beauquier-Fournier/02,
AUTHOR = {Beauquier, Dani{\`{e}}le and Fournier, Jean-Claude},
TITLE = {Groups and tilings},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {281},
NUMBER = {1-2},
PAGES = {81-97},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Berstel-Vuillon/02,
AUTHOR = {Berstel, Jean and Vuillon, Laurent},
TITLE = {Coding rotations on intervals},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {281},
NUMBER = {1-2},
PAGES = {99-107},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Boudol-Castellani/02,
AUTHOR = {Boudol, G{\'{e}}rard and Castellani, Ilaria},
TITLE = {Noninterference for concurrent programs and thread systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {281},
NUMBER = {1-2},
PAGES = {109-130},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bruni-Montanari/02,
AUTHOR = {Bruni, Roberto and Montanari, Ugo},
TITLE = {Dynamic connectors for concurrency},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {281},
NUMBER = {1-2},
PAGES = {131-176},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Courcelle-Knapik/02,
AUTHOR = {Courcelle, Bruno and Knapik, Teodor},
TITLE = {The evaluation of first-order substitution is monadic second-order compatible},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {281},
NUMBER = {1-2},
PAGES = {177-206},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Cousineau/02,
AUTHOR = {Cousineau, Guy},
TITLE = {Tilings as a programming exercise},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {281},
NUMBER = {1-2},
PAGES = {207-217},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Dauchet-Tison-Tommasi/02,
AUTHOR = {Dauchet, Max and Tison, Sophie and Tommasi, Marc},
TITLE = {R{\'e}duction de la non-lin{\'e}arit{\'e} des morphismes d'arbres recognizable tree-languages and non-linear morphisms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {281},
NUMBER = {1-2},
PAGES = {219-233},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Del_Lungo/02,
AUTHOR = {Del Lungo, Alberto},
TITLE = {Reconstructing permutation matrices from diagonal sums},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {281},
NUMBER = {1-2},
PAGES = {235-249},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Delorme-Mazoyer/02,
AUTHOR = {Delorme, Marianne and Mazoyer, Jacques},
TITLE = {Reconnaissance parall{\`e}le des langages rationnels sur automates cellulaires plans},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {281},
NUMBER = {1-2},
PAGES = {251-289},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Diaz-Serna-Thilikos/02a,
AUTHOR = {D{\'{i}}az, Josep and Serna, Maria and Thilikos, Dimitrios M.},
TITLE = {Counting $H$-colorings of partial $k$-trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {281},
NUMBER = {1-2},
PAGES = {291-309},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Durand/02a,
AUTHOR = {Durand, Bruno},
TITLE = {De la logique aux pavages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {281},
NUMBER = {1-2},
PAGES = {311-324},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ehrenfeucht-Harju-Rozenberg/02,
AUTHOR = {Ehrenfeucht, A. and Harju, T. and Rozenberg, G.},
TITLE = {Gene assembly through cyclic graph decomposition},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {281},
NUMBER = {1-2},
PAGES = {325-349},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Farrari-Pergola-Pinzani-Rinaldi/02,
AUTHOR = {Farrari, Luca and Pergola, Elisa and Pinzani, Renzo and Rinaldi, Simone},
TITLE = {An algebraic characterization of the set of succession rules},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {281},
NUMBER = {1-2},
PAGES = {351-367},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Gastin-Mislove/02,
AUTHOR = {Gastin, Paul and Mislove, Michael},
TITLE = {A truly concurrent semantics for a process algebra using resource pomsets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {281},
NUMBER = {1-2},
PAGES = {369-421},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Grigorieff/02,
AUTHOR = {Grigorieff, Serge},
TITLE = {Modelization of deterministic rational relations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {281},
NUMBER = {1-2},
PAGES = {423-453},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Gritzmann-Vries/02,
AUTHOR = {Gritzmann, Peter and Vries, Sven de},
TITLE = {On the algorithmic inversion of the discrete Radon transform},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {281},
NUMBER = {1-2},
PAGES = {455-469},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Okada/02,
AUTHOR = {Okada, Mitsuhiro},
TITLE = {A uniform semantic proof for cut-elimination and completeness of various first and higher order logics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {281},
NUMBER = {1-2},
PAGES = {471-498},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Rus/02,
AUTHOR = {Rus, Teodor},
TITLE = {A unified language processing methodology},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {281},
NUMBER = {1-2},
PAGES = {499-536},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Salomaa/02a,
AUTHOR = {Salomaa, Arto},
TITLE = {Uni-transitional Watson-Crick D0L systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {281},
NUMBER = {1-2},
PAGES = {537-553},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Senizergues/02a,
AUTHOR = {S{\'{e}}nizergues, G{\'{e}}raud},
TITLE = {$L(A) = L(B)?$ A simplified decidability proof},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {281},
NUMBER = {1-2},
PAGES = {555-608},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Huet/02,
AUTHOR = {Huet, G{\'{e}}rard},
TITLE = {{\'S}r{\={\i}} Yantra Geometry},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {281},
NUMBER = {1-2},
PAGES = {609-628},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}