Term Rewriting and Applications
18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings
Häftad, Engelska, 2007
Av Franz Baader
729 kr
Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.The 18th International Conference on Rewriting Techniques and Applications, held in Paris, France in June 2007, featured presentations and discussions centering on some of the latest advances in the field. This volume presents the proceedings from that meeting. Papers cover current research on all aspects of rewriting, including applications, foundational issues, frameworks, implementations, and semantics.
Produktinformation
- Utgivningsdatum2007-06-21
- Mått155 x 235 x undefined mm
- SpråkEngelska
- SerieTheoretical Computer Science and General Issues
- Antal sidor422
- FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- EAN9783540734475
Hoppa över listan
Du kanske också är intresserad av
The Description Logic Handbook
Dresden) Baader, Franz (Technische Universitat, Bolzano) Calvanese, Diego (Freie Universitat Bozen, New York) McGuinness, Deborah L. (Rensselaer Polytechnic Institute, Italy) Nardi, Daniele (Universita degli Studi di Roma 'La Sapienza', New Jersey) Patel-Schneider , Peter F. (AT&T Bell Laboratories, Franz Baader, Diego Calvanese, Deborah L McGuinness
1 169 kr
- Nyhet