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:
Online Access:Connect to the full text of this electronic book
Publisher description

Internet

Connect to the full text of this electronic book
Publisher description

Available Online

Holdings details from Available Online
Call Number: QA267 .I555 2006eb
 
Call Number Status Get It
QA267 .I555 2006eb Available