On the Confluence of Linear Shallow Term Rewrite Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Guillem Godoy, Ashish Tiwari, Rakesh M. Verma. On the Confluence of Linear Shallow Term Rewrite Systems. In Helmut Alt, Michel Habib, editors, STACS 2003, 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27 - March 1, 2003, Proceedings. Volume 2607 of Lecture Notes in Computer Science, pages 85-96, Springer, 2003. [doi]

This author has not been identified. Look up 'Guillem Godoy' in GoogleThis author has not been identified. Look up 'Ashish Tiwari' in GoogleThis author has not been identified. Look up 'Rakesh M. Verma' in Google

runs on WebDSL