Research Catalog

Processes, terms and cycles : steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday

Title
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.).
Publication
Berlin : Springer-Verlag, [2005], ©2005.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA9.5 .P76 2005gOff-site

Holdings

Details

Additional Authors
  • Middeldorp, Aart, 1963-
  • Klop, J. W.
Description
xviii, 638 pages : illustrations; 24 cm.
Series Statement
Lecture notes in computer science ; 3838
Uniform Title
Lecture notes in computer science ; 3838.
Subject
  • Lambda calculus
  • Rewriting systems (Computer science)
  • Machine theory
Bibliography (note)
  • Includes bibliographical references and index.
ISBN
354030911X
LCCN
9783540309116
OCLC
  • ocm62607951
  • SCSB-5223769
Owning Institutions
Columbia University Libraries