Infinitary Combinatory Reduction Systems

Jeroen Ketema, Jakob Grue Simonsen

OriginalsprogEngelsk
TitelProceedings of the 30th International Conference on Rewriting Techniques and Applications
Publikationsdato2005
Udgave3467
Sider438-452
StatusUdgivet - 2005

Citationsformater