H. Perdrix

According to our database, H. Perdrix authored at least 2 papers between 1984 and 1989.

Collaborative distances:

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

1989

From an ERAE Requirements Specification to a PLUSS Algebraic Specificatiaon: A Case Study.

Anne Mauboussin, H. Perdrix, Michel Bidoit, Marie-Claude Gaudel, Jacques Hagelstein

Proceedings of the Algebraic Methods II: Theory, 1989

1984

Proprietes Church-Rosser de systemes de reecriture equationnels ayant la propriete de terminaison faible.

H. Perdrix

Proceedings of the STACS 84, 1984