Miguel Ángel Vallejo

According to our database, Miguel Ángel Vallejo authored at least 3 papers between 1996 and 1997.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1997

Barcelona.

Robert Nieuwenhuis, José Miguel Rivero, Miguel Ángel Vallejo

J. Autom. Reason., 1997

Dedan: A Kernel of Data Structures and Algorithms for Automated Deduction with Equality Clauses.

Robert Nieuwenhuis, José Miguel Rivero, Miguel Ángel Vallejo

Proceedings of the Automated Deduction, 1997

1996

An Implementation Kernel for Theorem Proving with Equality Clauses.

Robert Nieuwenhuis, José Miguel Rivero, Miguel Ángel Vallejo

Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996