@InProceedings{Toyama-IT-RTA05,
author={Toyama, Y.},
title={{Confluent Term Rewriting Systems (invited lecture)}},
pages={1},
crossref={RTA05}
}
@InProceedings{vandePolZ-RTA05,
author={van de Pol, J. and Zantema, H.},
title={{Generalized Innermost Rewriting}},
pages={2-16},
crossref={RTA05}
}
@InProceedings{FernandezGR-RTA05,
author={Fernandez, M.-L. and Godoy, G. and Rubio, A.},
title={{Orderings for Innermost Termination}},
pages={17-31},
crossref={RTA05}
}
@InProceedings{DershowitzCE-RTA05,
author={Dershowitz, N. and Castedo Ellerman, E.},
title={{Leanest Quasi-orderings}},
pages={32-45},
crossref={RTA05}
}
@InProceedings{AbbottGL-RTA05,
author={Abbott, M. and Ghani, N. and Lüth, Ch.},
title={{Abstract Modularity}},
pages={46-60},
crossref={RTA05}
}
@InProceedings{Hoffman-RTA05,
author={Hoffman, P.},
title={{Union of Equational Theories: An Algebraic Approach}},
pages={61-73},
crossref={RTA05}
}
@InProceedings{Cheney-RTA05,
author={Cheney, J.},
title={{Equivariant Unification}},
pages={74-89},
crossref={RTA05}
}
@InProceedings{LynchM-RTA05,
author={Lynch, Ch. and Morawska, B.},
title={{Faster Basic Syntactic Mutation with Sorts for Some Separable Equational Theories}},
pages={90-104},
crossref={RTA05}
}
@InProceedings{BoydelaTourE-RTA05,
author={Boy de la Tour, T. and Echenim, M.},
title={{Unification in a Class of Permutative Theories}},
pages={105-119},
crossref={RTA05}
}
@InProceedings{AotoY-RTA05,
author={Aoto, T. and Yamada, Y.},
title={{Dependency Pairs for Simply Typed Term Rewriting}},
pages={120-134},
crossref={RTA05}
}
@InProceedings{Hamana-RTA05,
author={Hamana, M.},
title={{Universal Algebra for Termination of Higher-Order Rewriting}},
pages={135-149},
crossref={RTA05}
}
@InProceedings{BonfanteMM-RTA05,
author={Bonfante, G. and Marion, J.-Y. and Moyen, J.-Y.},
title={{Quasi-interpretations and Small Space Bounds}},
pages={150-164},
crossref={RTA05}
}
@InProceedings{HendrixCM-RTA05,
author={Hendrix, J. and Clavel, M. and Meseguer, J.},
title={{A Sufficient Completeness Reasoning Tool for Partial Specifications (system description)}},
pages={165-174},
crossref={RTA05}
}
@InProceedings{HirokawaM-RTA05,
author={Hirokawa, N. and Middeldorp, A.},
title={{Tyrolean Termination Tool (system description)}},
pages={175-184},
crossref={RTA05}
}
@InProceedings{Wadler-IT-RTA05,
author={Wadler, Ph.},
title={{Call-by-Value is Dual to Call-by-Name --- Reloaded (invited lecture)}},
pages={185-203},
crossref={RTA05}
}
@InProceedings{Rocheteau-RTA05,
author={Rocheteau, J.},
title={{Lambda-Mu-Calculus and Duality: Call-by-Name and Call-by-Value}},
pages={204-218},
crossref={RTA05}
}
@InProceedings{Simpson-RTA05,
author={Simpson, A.},
title={{Reduction in a Linear Lambda-Calculus with Applications to Operational Semantics}},
pages={219-234},
crossref={RTA05}
}
@InProceedings{Yoshinaka-RTA05,
author={Yoshinaka, R.},
title={{Higher-Order Matching in the Linear Lambda Calculus in the Absence of Constants Is NP-Complete}},
pages={235-249},
crossref={RTA05}
}
@InProceedings{Meseguer-RTA05,
author={Meseguer, J.},
title={{Localized Fairness: A Rewriting Semantics}},
pages={250-263},
crossref={RTA05}
}
@InProceedings{NishidaSS-RTA05,
author={Nishida, N. and Sakai, M. and Sakabe, T.},
title={{Partial Inversion of Constructor Term Rewriting Systems}},
pages={264-278},
crossref={RTA05}
}
@InProceedings{EscobarMT-RTA05,
author={Escobar, S. and Meseguer, J. and Thati, P.},
title={{Natural Narrowing for General Term Rewriting Systems}},
pages={279-293},
crossref={RTA05}
}
@InProceedings{ComonLundhD-RTA05,
author={Comon-Lundh, H. and Delaune, S.},
title={{The Finite Variant Property: How to Get Rid of Some Algebraic Properties}},
pages={294-307},
crossref={RTA05}
}
@InProceedings{LafourcadeLT-RTA05,
author={Lafourcade, P. and Lugiez, D. and Treinen, R.},
title={{Intruder Deduction for AC-Like Equational Theories with Homomorphisms}},
pages={308-322},
crossref={RTA05}
}
@InProceedings{BournezG-RTA05,
author={Bournez, O. and Garnier, F.},
title={{Proving Positive Almost-Sure Termination}},
pages={323-337},
crossref={RTA05}
}
@InProceedings{MoczydlowskiG-RTA05,
author={Moczydlowski, W. and Geser, A.},
title={{Termination of Single-Threaded One-Rule Semi-Thue Systems}},
pages={338-352},
crossref={RTA05}
}
@InProceedings{GeserHWZ-RTA05,
author={Geser, A. and Hofbauer, D. and Waldmann, J. and Zantema, H.},
title={{On Tree Automata that Certify Termination of Left-Linear Term Rewriting Systems}},
pages={353-367},
crossref={RTA05}
}
@InProceedings{Jouannaud-RTA05,
author={Jouannaud, J.-P.},
title={{Twenty Years Later}},
pages={368-375},
crossref={RTA05}
}
@InProceedings{Dershowitz-RTA05,
author={Dershowitz, N.},
title={{Term Rewriting and Applications}},
pages={376-393},
crossref={RTA05}
}
@InProceedings{Felty-RTA05,
author={Felty, A. P.},
title={{A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code}},
pages={394-406},
crossref={RTA05}
}
@InProceedings{KesnerL-RTA05,
author={Kesner, D. and Lengrand, S.},
title={{Extending the Explicit Substitution Paradigm}},
pages={407-422},
crossref={RTA05}
}
@InProceedings{DowekW-RTA05,
author={Dowek, G. and Werner, B.},
title={{Arithmetic as a Theory Modulo}},
pages={423-437},
crossref={RTA05}
}
@InProceedings{KetemaS-RTA05,
author={Ketema, J. and Simonsen, J. G.},
title={{Infinitary Combinatory Reduction Systems}},
pages={438-452},
crossref={RTA05}
}
@InProceedings{NieuwenhuisO-RTA05,
author={Nieuwenhuis, R. and Oliveras, A.},
title={{Proof-Producing Congruence Closure}},
pages={453-468},
crossref={RTA05}
}
@InProceedings{StumpT-RTA05,
author={Stump, A. and Tan, L.-Y.},
title={{The Algebra of Equality Proofs}},
pages={469-483},
crossref={RTA05}
}
@InProceedings{BouajjaniT-RTA05,
author={Bouajjani, A. and Touili, T.},
title={{On Computing Reachability Sets of Process Rewrite Systems}},
pages={484-499},
crossref={RTA05}
}
@InProceedings{BonevaT-RTA05,
author={Boneva, I. and Talbot, J.-M.},
title={{Automata and Logics for Unranked and Unordered Trees}},
pages={500-515},
crossref={RTA05}
}

% CROSSREFERENCES
% These must remain at the end of this file.

@Proceedings{RTA05,
year={2005},
month=apr # {~19-21,},
editor={Giesl, J.},
title={{Term Rewriting and Applications, 16th International Conference, RTA-05}},
booktitle={{Term Rewriting and Applications, 16th International Conference, RTA-05}},
address={Nara, Japan},
series={LNCS 3467},
isbn={978-3-540-25596-3},
publisher={Springer}
}