Title Term rewriting and applications : 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings / Frank Pfenning (ed.)

Published Berlin : Springer, [2006] ©2006

Copies

Location	Call no.	Vol.	Availability
W'PONDS	005.131 Ico/Rta 2006		AVAILABLE

Description xiii, 414 pages : illustrations ; 24 cm Series Lecture notes in computer science, 0302-9743 ; 4098 Lecture notes in computer science ; 4098 Bibliography Includes bibliographical references and index Subject Rewriting systems (Computer science) -- Congresses. Computer programming -- Congresses. Algorithms -- Congresses. Genre/Form Conference papers and proceedings. Author Pfenning, Frank. LC no. 2006929604 ISBN 3540368345

Other Titles RTA 2006

  Permalink