Tools

LEADER 01463cam 2200373 a 4500

001 ocm24144034;

005 20141212085251.0;

008 910701s1991 gw a b 000 0 eng ;

010 a| 91025005;

020 a| 3540543171 (Berlin);

020 a| 0387543171 (New York);

035 a| (Sirsi) o24144034;

035 a| (OCoLC)24144034;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| QA267b| .C5932 1991;

082 00 a| 511.32| 20;

111 2 a| International CTRS Workshopn| (2nd :d| 1990 :c| Montréal, Québec)?| UNAUTHORIZED;

245 10 a| Conditional and typed rewriting systems :b| 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings /c| S. Kaplan, M. Okada (eds.).;

300 a| x, 461 pages :b| illustrations ;c| 25 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 516;

504 a| Includes bibliographical references;

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

700 1 a| Kaplan, S.q| (Stéphane),d| 1961-=| ^A237945;

700 1 a| Okada, M.q| (Mitsuhiro),d| 1954-=| ^A282030;

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

919 a| BOOK;

596 a| 1;

998 a| 409469;

999 a| QA267 .C5932 1991w| LCc| 1i| 30372006031097l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 1/29/1992x| BOOKz| JSTACKSo| .STAFF. 0;

Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings / S. Kaplan, M. Okada (eds.).

Author/creator	International CTRS Workshop
Other author	Kaplan, S. (Stéphane), 1961-
Other author	Okada, M. (Mitsuhiro), 1954-
Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, ©1991.
Description	x, 461 pages : illustrations ; 25 cm.
Subjects	Rewriting systems (Computer science)--Congresses.

Series	Lecture notes in computer science ; 516 Lecture notes in computer science 516. ^A466336
Bibliography note	Includes bibliographical references
LCCN	91025005
ISBN	3540543171 (Berlin)
ISBN	0387543171 (New York)

Availability

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

Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings / S. Kaplan, M. Okada (eds.).

Click here for more information about this title

Availability