Infinitary Normalization

J.W. Klop, R.C. de Vrijer

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	We Will Show Them! (2)
Editors	S.N. Artëmov, H. Barringer, A.S. d'Avila Garcez, L.C. Lamb, J. Woods
Publisher	College Publications
Pages	169-192
Publication status	Published - 2005

DBLP:conf/birthday/KlopV05

Persistent URL (handle)

@inproceedings{2239ac92bfd54a76bfbc08836aeb7a20,

title = "Infinitary Normalization",

author = "J.W. Klop and {de Vrijer}, R.C.",

note = "DBLP:conf/birthday/KlopV05 ",

year = "2005",

language = "English",

pages = "169--192",

editor = "S.N. Art{\"e}mov and H. Barringer and {d'Avila Garcez}, A.S. and L.C. Lamb and J. Woods",

booktitle = "We Will Show Them! (2)",

publisher = "College Publications",

}