Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski. Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP. In Peter J. Stuckey, editor, Logic Programming, 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002, Proceedings. Volume 2401 of Lecture Notes in Computer Science, pages 115-129, Springer, 2002. [doi]

This author has not been identified. Look up 'Witold Charatonik' in GoogleThis author has not been identified. Look up 'Supratik Mukhopadhyay' in GoogleThis author has not been identified. Look up 'Andreas Podelski' in Google

runs on WebDSL