0
Your cart

Your cart is empty

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,437
Discovery Miles 14 370
Rewriting Techniques and Applications - 20th International Conference, RTA 2009, Brasilia, Brazil, June 29 - July 1, 2009...

Rewriting Techniques and Applications - 20th International Conference, RTA 2009, Brasilia, Brazil, June 29 - July 1, 2009 Proceedings (Paperback, 2009 ed.)

Ralf Treinen

Series: Lecture Notes in Computer Science, 5595

 (sign in to rate)
Loot Price R1,437 Discovery Miles 14 370 | Repayment Terms: R135 pm x 12*

Bookmark and Share

Expected to ship within 18 - 22 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

Imprint: Springer-Verlag
Country of origin: Germany
Series: Lecture Notes in Computer Science, 5595
Release date: June 2009
First published: 2009
Editors: Ralf Treinen
Dimensions: 235 x 155 x 23mm (L x W x T)
Format: Paperback
Pages: 391
Edition: 2009 ed.
ISBN-13: 978-3-642-02347-7
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Science & Mathematics > Mathematics > Mathematical foundations > General
Books > Science & Mathematics > Mathematics > Applied mathematics > Mathematics for scientists & engineers
Books > Computing & IT > Computer programming > Programming languages > General
Promotions
LSN: 3-642-02347-9
Barcode: 9783642023477

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!

Partners