H. Perdrix

Publication Activity (10 Years)

Years Active: 1984-1989
Publications (10 Years): 0

Publications

A. Mauboussin, H. Perdrix, Michel Bidoit, Marie-Claude Gaudel, Jacques Hagelstein
From an ERAE Requirements Specification to a PLUSS Algebraic Specificatiaon: A Case Study. Algebraic Methods (1989)
H. Perdrix
Proprietes Church-Rosser de systemes de reecriture equationnels ayant la propriete de terminaison faible. STACS (1984)