| Software ENgineering Infinitary normalization (2005) | |||||||||||||||||
Abstract | |||||||||||||||||
| CWI is a founding member of ERCIM, the European Research Consortium for Informatics and Mathematics. CWI's research has a theme-oriented structure and is grouped into four clusters. Listed below are the names of the clusters and in parentheses their acronyms. | |||||||||||||||||
Publication details | |||||||||||||||||
| |||||||||||||||||