The -Completeness of Most of the Properties of Rewriting Systems You Care About (and Productivity) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jakob Grue Simonsen. The -Completeness of Most of the Properties of Rewriting Systems You Care About (and Productivity). In Ralf Treinen, editor, Rewriting Techniques and Applications, 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009, Proceedings. Volume 5595 of Lecture Notes in Computer Science, pages 335-349, Springer, 2009. [doi]

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

runs on WebDSL