A New Clausal Class Decidable by Hyperresolution - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt. A New Clausal Class Decidable by Hyperresolution. In Andrei Voronkov, editor, Automated Deduction - CADE-18, 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings. Volume 2392 of Lecture Notes in Computer Science, pages 260-274, Springer, 2002. [doi]

This author has not been identified. Look up 'Lilia Georgieva' in GoogleThis author has not been identified. Look up 'Ullrich Hustadt' in GoogleThis author has not been identified. Look up 'Renate A. Schmidt' in Google

runs on WebDSL