One More Decidable Class of Finitely Ground Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yuliya Lierler, Vladimir Lifschitz. One More Decidable Class of Finitely Ground Programs. In Patricia M. Hill, David Scott Warren, editors, Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings. Volume 5649 of Lecture Notes in Computer Science, pages 489-493, Springer, 2009. [doi]

This author has not been identified. Look up 'Yuliya Lierler' in GoogleThis author has not been identified. Look up 'Vladimir Lifschitz' in Google

runs on WebDSL