Books > Science & Mathematics > Mathematics > Mathematical foundations
|
Buy Now
Rewriting Techniques and Applications - 20th International Conference, RTA 2009, Brasilia, Brazil, June 29 - July 1, 2009 Proceedings (Paperback, 2009 ed.)
Loot Price: R1,615
Discovery Miles 16 150
|
|
Rewriting Techniques and Applications - 20th International Conference, RTA 2009, Brasilia, Brazil, June 29 - July 1, 2009 Proceedings (Paperback, 2009 ed.)
Series: Lecture Notes in Computer Science, 5595
Expected to ship within 10 - 15 working days
|
Thisvolumecontainsthepapersofthe20thInternationalConferenceonRewr-
ing Techniques and Applications (RTA 2009), which was held from
June 29 to July 1, 2009, in Bras' ?lia, Brazil as part of the 5th
International Conference on Rewriting, Deduction, and Programming
(RDP 2009) together with the Int- national Conference on Typed
Lambda Calculi and Applications (TLCA 2009), the International
School on Rewriting (ISR 2009), the 4th Workshop on Logical and
Semantic Frameworks with Applications (LSFA 2009), the 10th Inter-
tional Workshop on Rule-Based Programming (RULE 2009), the 8th
Inter- tional Workshop on Functional and (Constraint) Logic
Programming (WFLP 2009), the 9th International Workshop on
Reduction Strategies in Rewriting and Programming (WRS 2009), and
the annual meeting of the IFIP Working Group 1.6 on term rewriting.
RTA is the major forum for the presentation of research on all
aspects of
rewriting.PreviousRTAconferenceswereheldinDijon(1985),Bordeaux(1987),
Chapel Hill (1989), Como (1991), Montreal (1993), Kaiserslautern
(1995), R- gers (1996), Sitges (1997), Tsukuba (1998), Trento
(1999), Norwich (2000),
Utrecht(2001),Copenhagen(2002),Valencia(2003),Aachen(2004),Nara(2005),
Seattle (2006), Paris (2007), and Hagenberg (2008).
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|