![]() | ![]() |
1989 | ||
---|---|---|
2 | 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: 395-431 | |
1984 | ||
1 | H. Perdrix: Proprietes Church-Rosser de systemes de reecriture equationnels ayant la propriete de terminaison faible. STACS 1984: 97-108 |
1 | Michel Bidoit | [2] |
2 | Marie-Claude Gaudel | [2] |
3 | Jacques Hagelstein | [2] |
4 | A. Mauboussin | [2] |