Deciding Monodic Fragments by Temporal Resolution - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ullrich Hustadt, Boris Konev, Renate A. Schmidt. Deciding Monodic Fragments by Temporal Resolution. In Robert Nieuwenhuis, editor, Automated Deduction - CADE-20, 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings. Volume 3632 of Lecture Notes in Computer Science, pages 204-218, Springer, 2005. [doi]

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

runs on WebDSL