MARIA LUISA
NAVARRO GOMEZ
Forscher/in in der Zeit 1990-2019
![Foto de MARIA LUISA](/img/nophoto.png)
![Foto de University of Lorraine](/img/noimage_org.png)
University of Lorraine
Nancy, FranciaPublikationen in Zusammenarbeit mit Forschern von 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