Miguel Ángel Vallejo

Publication Activity (10 Years)

Years Active: 1996-1997
Publications (10 Years): 0

Publications

Robert Nieuwenhuis, José Miguel Rivero, Miguel Ángel Vallejo
Barcelona. J. Autom. Reason. 18 (2) (1997)
Robert Nieuwenhuis, José Miguel Rivero, Miguel Ángel Vallejo
Dedan: A Kernel of Data Structures and Algorithms for Automated Deduction with Equality Clauses. CADE (1997)
Robert Nieuwenhuis, José Miguel Rivero, Miguel Ángel Vallejo
An Implementation Kernel for Theorem Proving with Equality Clauses. APPIA-GULP-PRODE (1996)