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

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Klop, J. W., Middeldorp, Aart, 1963-
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer, [2005]
Series:	Lecture notes in computer science ; 3838. Lecture notes in computer science. Festschrift.
Subjects:	Klop, J. W. Lambda calculus. Processes, Infinite. Rewriting systems (Computer science) Lambda-calcul. Processus infinis. Réécriture, Systèmes de (Informatique) Electronic books.
Online Access:	Connect to the full text of this electronic book