Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Contextual rewriting as a sound and complete method for conditional log-specif

Autor
Navarro Bernal, Manuel; Orejas, F.
Tipus d'activitat
Article en revista
Revista
Acta informatica
Data de publicació
1993-04
Volum
30
Número
2
Pàgina inicial
147
Pàgina final
180
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Participants