Miguel Munoz

According to our database, Miguel Munoz authored at least 1 paper in 1984.

Collaborative distances:

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

1984

Termination of a Set of Rules Modulo a Set of Equations.

Jean-Pierre Jouannaud, Miguel Munoz

Proceedings of the 7th International Conference on Automated Deduction, 1984