Dedan: A Kernel of Data Structures and Algorithms for Automated Deduction with Equality Clauses - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Robert Nieuwenhuis, José Miguel Rivero, Miguel Ángel Vallejo. Dedan: A Kernel of Data Structures and Algorithms for Automated Deduction with Equality Clauses. In William McCune, editor, Automated Deduction - CADE-14, 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997, Proceedings. Volume 1249 of Lecture Notes in Computer Science, pages 49-52, Springer, 1997.

This author has not been identified. Look up 'Robert Nieuwenhuis' in GoogleThis author has not been identified. Look up 'José Miguel Rivero' in GoogleThis author has not been identified. Look up 'Miguel Ángel Vallejo' in Google

runs on WebDSL