@inproceedings{DBLP:conf/rta/LafourcadeLT05,
author = {Pascal Lafourcade and
Denis Lugiez and
Ralf Treinen},
title = {Intruder Deduction for {\it AC}-Like Equational Theories
with Homomorphisms},
booktitle = {RTA},
year = {2005},
pages = {308-322},
ee = {http://dx.doi.org/10.1007/978-3-540-32033-3_23},
crossref = {DBLP:conf/rta/2005},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/rta/2005,
editor = {J{\"u}rgen Giesl},
title = {Term Rewriting and Applications, 16th International Conference,
RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings},
booktitle = {RTA},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {3467},
year = {2005},
isbn = {3-540-25596-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-05-15 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
