Tools

LEADER 01956cam a2200469Ia 4500

001 ocm71192173;

003 OCoLC;

005 20141211192219.0;

008 060727s2006 gw a b 101 0 eng d;

010 a| 2006929604;

020 a| 3540368345;

020 a| 9783540368342;

029 1 a| YDXCPb| 2469315;

035 a| (Sirsi) o71192173;

035 a| (OCoLC)71192173;

049 a| EREE;

050 4 a| QA267b| .I555 2006;

082 04 a| 005.1312| 22;

111 2 a| International Conference on Rewriting Techniques and Applicationsn| (17th :d| 2006 :c| Seattle, Wash.)?| UNAUTHORIZED;

245 10 a| Term rewriting and applications :b| 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings /c| Frank Pfenning (ed.).;

246 30 a| RTA 2006;

300 a| xiii, 414 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 4098,x| 0302-9743 ;;

504 a| Includes bibliographical references and index.;

530 a| Also issued online.;

650 0 a| Rewriting systems (Computer science)v| Congresses.=| ^A1156961;

650 0 a| Computer programmingv| Congresses.=| ^A34403;

650 0 a| Algorithmsv| Congresses.=| ^A26574;

700 1 a| Pfenning, Frank.=| ^A356155;

830 0 a| Lecture notes in computer sciencev| 4098.=| ^A466336;

856 41 u| http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4098z| Restricted to SpringerLink subscribers;

994 a| C0b| ERE;

938 a| Baker & Taylorb| BKTYc| 78.00d| 78.00i| 3540368345n| 0006930736s| active;

938 a| YBP Library Servicesb| YANKn| 2469315;

596 a| 1;

998 a| 1058221;

999 a| QA267 .I555 2006w| LCc| 1i| 30372014224858d| 3/23/2007l| JGESm| JOYNERp| $74.10r| Ys| Yt| JGESBKu| 10/23/2006x| BOOKz| JSTACKSo| .STAFF. 0;

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

Author/creator	International Conference on Rewriting Techniques and Applications
Other author	Pfenning, Frank.
Format	Book
Publication Info	Berlin : Springer, ©2006.
Description	xiii, 414 pages : illustrations ; 24 cm.
Supplemental Content	Restricted to SpringerLink subscribers
Subjects	Rewriting systems (Computer science)--Congresses. Computer programming--Congresses. Algorithms--Congresses.

Portion of title	RTA 2006
Series	Lecture notes in computer science ; 4098, 0302-9743 ; Lecture notes in computer science 4098. ^A466336
Bibliography note	Includes bibliographical references and index.
Other forms	Also issued online.
LCCN	2006929604
ISBN	3540368345
ISBN	9783540368342

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA267 .I555 2006	✔ Available	Place Hold

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

Click here for more information about this title

Availability