Recherche
-
Mercedes Cabello de Carbonera : une folie annoncée
(CRLA, 1999-12-01)Chapitre d'ouvrage -
Decidable Call by Need Computations in Term Rewriting
Communication dans un congrès -
Constructor Equivalent Term Rewriting Systems are Strongly Sequential: a direct proof
(Information Processing Letters. vol. 52, pp. 137--145, 1994)Article de revue -
Constructor Equivalent Term Rewriting Systems
(Information Processing Letters. vol. 47, pp. 131--137, 1993)Article de revue -
Bounded, Strongly Sequential and Forward-branching Term Rewriting Systems
(Journal of Symbolic Computation. vol. 18, pp. 319--352, 1994)Article de revue -
Les romantiques péruviens et Paris
(Université Paris X Nanterre, 1998)Chapitre d'ouvrage -
La emergencia del feminismo en Arequipa : Zarela
(Centro de Documentación de la Mujer, 1999)Chapitre d'ouvrage -
KN s-wave phase shifts in a quark model with gluon and boson exchange at the quark level
(Nuclear Physics A. vol. 613, pp. 342-352, 1997)Article de revue -
Experimental verification of neutron phenomenology in lead and transmutation by adiabatic resonance crossing in accelerator driven systems
(Physics Letters B. vol. 458, pp. 167-180, 1999)Article de revue -
Specific heat at the spin-peierls transition in CuGeO3 under magnetic fields up to 22 tesla
(Journal of Low Temperature Physics. vol. 107, n° 3-4, pp. 243-262, 1997)Article de revue