Publication View

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
Download http://citeseerx.ist.psu.edu/viewdoc/summary?doi=?doi=10.1.1.103.2530
Source http://ftp.cwi.nl/CWIreports/SEN/SEN-R0516.pdf
Contributors CiteSeerX
Repository CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Keywords term rewriting systems, infinitary term rewriting, normalization, strong normalization, infinite normal form, unique normal forms, ordinal numbers Infinitary Normalization
Type text
Language English
Relation 10.1.1.54.6049, 10.1.1.109.4955