Lenguajes y Sistemas Informáticos
Department
University of Lorraine
Nancy, FranciaPublications in collaboration with researchers from 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