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

Author(s)

• Middeldorp, Aart
• Klop, J. W. (Jan Willem)

Bibliographic Information

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 ... [et al.] (eds.)

（Lecture notes in computer science, 3838）

Springer, c2005

Note

Includes bibliographical references and index

"Festschrift"--Cover

Details

• NCID: BA75187075
• ISBN:
  • 354030911X
• LCCN: 2005937699
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin
• Pages/Volumes: xviii, 638 p.
• Size: 24 cm
• Subject Headings:
  • LCSH : Klop, J. W
  • LCSH : Lambda calculus
  • LCSH : Rewriting systems (Computer science)
  • LCSH : Machine theory
• Parent Bibliography ID:
  • BA00009279