Solving Partial Order Constraints for LPO Termination - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Michael Codish, Vitaly Lagoon, Peter J. Stuckey. Solving Partial Order Constraints for LPO Termination. In Frank Pfenning, editor, Term Rewriting and Applications, 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings. Volume 4098 of Lecture Notes in Computer Science, pages 4-18, Springer, 2006. [doi]

This author has not been identified. Look up 'Michael Codish' in GoogleThis author has not been identified. Look up 'Vitaly Lagoon' in GoogleThis author has not been identified. Look up 'Peter J. Stuckey' in Google

runs on WebDSL