José Miguel Rivero

According to our database, José Miguel Rivero authored at least 5 papers between 1996 and 2002.

Collaborative distances:

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

2002

Practical Algorithms for Deciding Path Ordering Constraint Satisfaction.

Robert Nieuwenhuis, José Miguel Rivero

Inf. Comput., 2002

1999

Solved Forms for Path Ordering Constraints.

Robert Nieuwenhuis, José Miguel Rivero

Proceedings of the Rewriting Techniques and Applications, 10th International Conference, 1999

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