dblp.uni-trier.dewww.uni-trier.de

H. Perdrix

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Michel Bidoit [2]
2Marie-Claude Gaudel [2]
3Jacques Hagelstein [2]
4A. Mauboussin [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)