Contextual rewriting as a sound and complete proof method for conditional LOG-specifications
- Navarro, M.
- Orejas, F.
- Remy, J.-L.
ISSN: 0001-5903, 1432-0525
Año de publicación: 1993
Volumen: 30
Número: 2
Páginas: 147-180
Tipo: Artículo
ISSN: 0001-5903, 1432-0525
Año de publicación: 1993
Volumen: 30
Número: 2
Páginas: 147-180
Tipo: Artículo