MARIA LUISA
NAVARRO GOMEZ
Investigador/a en el periodo 1990-2019
![Foto de MARIA LUISA](/img/nophoto.png)
![Foto de University of Lorraine](/img/noimage_org.png)
University of Lorraine
Nancy, FranciaPublicaciones en colaboración con investigadoras/es de University of Lorraine (1)
1993
-
Contextual rewriting as a sound and complete proof method for conditional LOG-specifications
Acta Informatica, Vol. 30, Núm. 2, pp. 147-180