Tools

LEADER 01664cam a2200421Ia 4500

001 ocm63107694;

003 OCoLC;

005 20141211184834.0;

008 051221s2005 gw a b 011 0 eng d;

015 a| GBA6200712| bnb;

016 7 a| 0133844622| Uk;

020 a| 354030911X;

029 1 a| OHXb| har050140504;

035 a| (Sirsi) o63107694;

035 a| (OCoLC)63107694;

049 a| EREE;

090 a| QA267b| .P76 2005;

245 00 a| Processes, terms and cycles :b| steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday /c| Aart Middeldorp [and others] (eds.).;

300 a| xviii, 638 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| 3838;

504 a| Includes bibliographic references and index.;

530 a| Also issued online.;

600 10 a| Klop, J. W.=| ^A269329;

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

650 0 a| Lambda calculus.=| ^A173635;

650 0 a| Processes, Infinite.=| ^A45312;

700 1 a| Middeldorp, Aart,d| 1963-=| ^A441699;

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

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

994 a| C0b| ERE;

596 a| 1;

998 a| 1026111;

999 a| QA267 .P76 2005w| LCc| 1i| 30372012973134d| 4/7/2006l| JGESm| JOYNERp| $100.70r| Ys| Yt| JGESBKu| 2/21/2006x| BOOKz| JSTACKSo| .STAFF. 0;

Processes, terms and cycles : steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday / Aart Middeldorp [and others] (eds.).

Other author	Middeldorp, Aart, 1963-
Format	Book
Publication Info	Berlin : Springer, ©2005.
Description	xviii, 638 pages : illustrations ; 24 cm.
Supplemental Content	Restricted to SpringerLink subscribers
Subjects	Klop, J. W. Rewriting systems (Computer science) Lambda calculus. Processes, Infinite.

Series	Lecture notes in computer science ; 3838 Lecture notes in computer science 3838. ^A466336
Bibliography note	Includes bibliographic references and index.
Other forms	Also issued online.
ISBN	354030911X

Availability

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

Processes, terms and cycles : steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday / Aart Middeldorp [and others] (eds.).

Click here for more information about this title

Availability