On Locally Checkable Properties - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Orna Kupferman, Yoad Lustig, Moshe Y. Vardi. On Locally Checkable Properties. In Miki Hermann, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings. Volume 4246 of Lecture Notes in Computer Science, pages 302-316, Springer, 2006. [doi]

This author has not been identified. Look up 'Orna Kupferman' in GoogleThis author has not been identified. Look up 'Yoad Lustig' in GoogleThis author has not been identified. Look up 'Moshe Y. Vardi' in Google

runs on WebDSL