An Implementation Kernel for Theorem Proving with Equality Clauses - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Robert Nieuwenhuis, José Miguel Rivero, Miguel Ángel Vallejo. An Implementation Kernel for Theorem Proving with Equality Clauses. In Paqui Lucio, Maurizio Martelli, Marisa Navarro, editors, 1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE 96, Donostia-San Sebastian, Spain, July 15-18, 1996. pages 89-104, 1996.

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