Validity Checking for Quantifier-Free First-Order Logic with Equality Using Substitution of Boolean Formulas - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Atsushi Moritomo, Kiyoharu Hamaguchi, Toshinobu Kashiwabara. Validity Checking for Quantifier-Free First-Order Logic with Equality Using Substitution of Boolean Formulas. In Farn Wang, editor, Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings. Volume 3299 of Lecture Notes in Computer Science, pages 108-119, Springer, 2004. [doi]

This author has not been identified. Look up 'Atsushi Moritomo' in GoogleThis author has not been identified. Look up 'Kiyoharu Hamaguchi' in GoogleThis author has not been identified. Look up 'Toshinobu Kashiwabara' in Google

runs on WebDSL