A Framework for Cooperating Decision Procedures - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Clark W. Barrett, David L. Dill, Aaron Stump. A Framework for Cooperating Decision Procedures. In David A. McAllester, editor, Automated Deduction - CADE-17, 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings. Volume 1831 of Lecture Notes in Computer Science, pages 79-98, Springer, 2000.

This author has not been identified. Look up 'Clark W. Barrett' in GoogleThis author has not been identified. Look up 'David L. Dill' in GoogleThis author has not been identified. Look up 'Aaron Stump' in Google

runs on WebDSL