Bibtex:MORV05

From Termination-Portal.org
Jump to: navigation, search

BibTex

Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel de Vrijer - Processes, Terms and Cycles: Steps on the Road to Infinity; Essays Dedicated to Jan Willem Klop on the Occasion on His 60th Birthday
Springer--Verlag, Berlin Heidelberg,2005
Bibtex
Author :
Title : Processes, Terms and Cycles: Steps on the Road to Infinity; Essays Dedicated to Jan Willem Klop on the Occasion on His 60th Birthday
In : -
Address : Berlin Heidelberg
Date : 2005
Personal tools