Laboratoire d'informatique fondamentale de marseille a

Sujets

• informatique
• Marketing et communication

Informations

• Publié par: oeufdepaques
• Nombre de lectures: 151
• Langue: Français

Extrait

LIF

Laboratoire d’Informatique Fondamentale de Marseille

Unite´MixtedeRecherche6166 CNRS–Universite´deProvence–Universite´delaMe´diterranee ´

A Constructive Axiomatization of the Recursive Path Ordering

Solange Coupet-Grimal and William Delobel

Rapport/Report 28-2006

9 January 2006

Lesrapportsdulaboratoiresontte´l´echargeables`al’adressesuivante Reports are downloadable at the following address http://www.lif.univ-mrs.fr