Tools

LEADER 01326cam 2200373 a 4500

001 ocm23768554;

005 20141212084551.0;

008 910226s1991 maua b 001 0 eng ;

010 a| 91011461;

020 a| 0817635556 (alk. paper);

020 a| 3764335556 (alk. paper);

035 a| (Sirsi) o23768554;

035 a| (OCoLC)23768554;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| QA267b| .B32 1991;

082 00 a| 511.32| 20;

100 1 a| Bachmair, Leo.=| ^A279349;

245 10 a| Canonical equational proofs /c| Leo Bachmair.;

260 a| Boston :b| Birkhäuser,c| 1991.;

300 a| x, 135 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Progress in theoretical computer science;

500 a| Based in part on author's thesis (Ph. D.)--University of Illinois at Urbana-Champaign, 1987.;

504 a| Includes bibliographical references (p. 117-127) and index.;

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

650 0 a| Equations.=| ^A55055;

830 0 a| Progress in theoretical computer science.=| ^A279350;

919 a| BOOK;

596 a| 1;

998 a| 403216;

999 a| QA267 .B32 1991w| LCc| 1i| 30372006016239l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 12/17/1991x| BOOKz| JSTACKSo| .STAFF. 0;

Canonical equational proofs / Leo Bachmair.

Author/creator	Bachmair, Leo
Format	Book
Publication Info	Boston : Birkhäuser, 1991.
Description	x, 135 pages : illustrations ; 24 cm.
Subjects	Rewriting systems (Computer science) Equations.

Series	Progress in theoretical computer science Progress in theoretical computer science. ^A279350
General note	Based in part on author's thesis (Ph. D.)--University of Illinois at Urbana-Champaign, 1987.
Bibliography note	Includes bibliographical references (p. 117-127) and index.
LCCN	91011461
ISBN	0817635556 (alk. paper)
ISBN	3764335556 (alk. paper)

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

Click here for more information about this title