The Finite Variant Property: How to Get Rid of Some Algebraic Properties - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hubert Comon-Lundh, Stéphanie Delaune. The Finite Variant Property: How to Get Rid of Some Algebraic Properties. 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 294-307, Springer, 2005. [doi]

This author has not been identified. Look up 'Hubert Comon-Lundh' in GoogleThis author has not been identified. Look up 'Stéphanie Delaune' in Google

runs on WebDSL