On the Complexity of Model Expansion - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Antonina Kolokolova, Yongmei Liu, David G. Mitchell, Eugenia Ternovska. On the Complexity of Model Expansion. In Christian G. Fermüller, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings. Volume 6397 of Lecture Notes in Computer Science, pages 447-458, Springer, 2010. [doi]

This author has not been identified. Look up 'Antonina Kolokolova' in GoogleThis author has not been identified. Look up 'Yongmei Liu' in GoogleThis author has not been identified. Look up 'David G. Mitchell' in GoogleThis author has not been identified. Look up 'Eugenia Ternovska' in Google

runs on WebDSL