Title: Proceedings of RTA'10 (21st International Conference on Rewriting
Techniques and Applications)
Editor: Christopher Lynch
Series: LIPIcs (Leibniz International Proceedings in Informatics)
Volume: 6
Publisher: Schloss Dagstuhl - Dagstuhl Publishing
ISBN: 978-3-939897-18-7
Access: Open Access (online and free of charge) at
http://www.dagstuhl.de/dagpub/978-3-939897-18-7
== About the RTA Conference ==
RTA is the major conference on rewriting and covers all aspects related to
rewriting such as termination, equational reasoning, theorem proving, Lambda
calculus, higher-order rewriting, unification, verification, constraints, and
software tools.
See also:
* http://rewriting.loria.fr/rta/
== About the Proceedings ==
This volume contains the papers presented at the 21st International Conference
on Rewriting Techniques and Applications (RTA 2010) which was held from July 11
to July 13, 2010, in Edinburgh, Scotland as part of the 5th International
Federated Logic Conference (FLOC 2010). For RTA 2010, 23 regular research papers
and three system descriptions were accepted out of 48 submissions.
See also:
* Frontmatter incl. table of contents: http://dx.doi.org/10.4230/LIPIcs.RTA.2010.i
* Preface: http://dx.doi.org/10.4230/LIPIcs.RTA.2010.XIII
== About the LIPIcs Series ==
"LIPIcs: Leibniz International Proceedings in Informatics" is a series
of high-quality conference proceedings across all fields in informatics
established in cooperation with "Schloss Dagstuhl--Leibniz Center of
Informatics". LIPIcs volumes are published according to the principle
of OpenAccess, i.e., they are available online and free of charge.
See also:
* http://www.dagstuhl.de/en/publications/lipics/
--
Marc Herbstritt
Schloss Dagstuhl - Leibniz Center for Informatics
\\\/ Dagstuhl Publishing | LIPIcs Editorial Office
Email: publishing@dagstuhl.de
http://www.dagstuhl.de/lipics
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
