AVANZADA

1 Artículos

Buscar Revistas

Termination and Confluence by Rule Prioritization

Solicitud

usuarios registrados

Comai, S. Tanca, L. Pág. 257 - 270

Revista: IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING Formato: Impreso

Tabla de contenido: Vol: 15 Num: 2 Par: 0 Año: 2003

« Anterior Página: 1 de 1 Siguiente »