Term rewriting and applications : 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings /

Bibliographic Details
Corporate Authors:	International Conference on Rewriting Techniques and Applications Seattle, Wash., SpringerLink (Online service)
Other Authors:	Pfenning, Frank
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin : Springer, [2006]
Series:	Lecture notes in computer science. 4098.
Subjects:	Algorithms > Congresses. Computer programming > Congresses. Rewriting systems (Computer science) > Congresses. Algorithmes > Congrès. Programmation (Informatique) > Congrès. Réécriture, Systèmes de (Informatique) > Congrès. Electronic books.
Online Access:	Connect to the full text of this electronic book Publisher description

Published 2006

Connect to the full text of this electronic book

Conference Proceeding Book