Infinitary Combinatory Reduction Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jeroen Ketema, Jakob Grue Simonsen. Infinitary Combinatory Reduction Systems. In Jürgen Giesl, editor, Term Rewriting and Applications, 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings. Volume 3467 of Lecture Notes in Computer Science, pages 438-452, Springer, 2005. [doi]

This author has not been identified. Look up 'Jeroen Ketema' in GoogleThis author has not been identified. Look up 'Jakob Grue Simonsen' in Google

runs on WebDSL