Tools

LEADER 01734cam 22004454a 4500

001 ocm49719208;

003 OCoLC;

005 20141212173408.0;

008 020429s2003 enka b 001 0 eng ;

010 a| 2002067658;

020 a| 0521391156;

035 a| (Sirsi) o49719208;

035 a| (OCoLC)49719208;

040 a| DLCc| DLCd| UtOrBLW;

042 a| pcc;

049 a| EREE;

050 00 a| QA267b| .T43 2003;

082 00 a| 005.13/12| 21;

245 00 a| Term rewriting systems /c| Terese ; [Marc Bezem, Jan Willem Klop, Roel de Vrijer, editors].;

260 a| Cambridge, UK ;a| New York :b| Cambridge University Press,c| 2003.;

300 a| xxii, 884 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Cambridge tracts in theoretical computer science ;v| v. 25;

500 a| "Terese.";

504 a| Includes bibliographical references (p. 826-857) and index.;

650 0 a| Rewriting systems (Computer science)=| ^A223380;

700 1 a| Bezem, M.q| (Marc),d| 1956-=| ^A318159;

700 1 a| Klop, J. W.=| ^A269329;

700 1 a| Vrijer, Roel de.=| ^A567599;

710 2 a| Terese (Group)=| ^A567600;

830 0 a| Cambridge tracts in theoretical computer science ;v| 25.=| ^A221007;

856 41 3| Sample textu| http://www.loc.gov/catdir/samples/cam033/2002067658.html;

856 41 3| Table of contentsu| http://www.loc.gov/catdir/toc/cam031/2002067658.html;

856 42 3| Publisher descriptionu| http://www.loc.gov/catdir/description/cam022/2002067658.html;

994 a| X0b| ERE;

596 a| 1;

998 a| 934405;

999 a| QA267 .T43 2003w| LCc| 1i| 30372012188055d| 2/19/2004l| JGESm| JOYNERp| $140.00r| Ys| Yt| JGESBKu| 1/14/2004x| BOOKz| JSTACKSo| .STAFF. 0;

Term rewriting systems / Terese ; [Marc Bezem, Jan Willem Klop, Roel de Vrijer, editors].

Format	Book
Publication Info	Cambridge, UK ; New York : Cambridge University Press, 2003.
Description	xxii, 884 pages : illustrations ; 24 cm.
Supplemental Content	Sample text
Supplemental Content	Table of contents
Supplemental Content	Publisher description
Subjects	Rewriting systems (Computer science)

Other author/creator	Bezem, M. (Marc), 1956-
Other author/creator	Klop, J. W.
Other author/creator	Vrijer, Roel de.
Other author/creator	Terese (Group)
Series	Cambridge tracts in theoretical computer science ; v. 25 Cambridge tracts in theoretical computer science ; 25. ^A221007
General note	"Terese."
Bibliography note	Includes bibliographical references (p. 826-857) and index.
LCCN	2002067658
ISBN	0521391156

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

Click here for more information about this title