REVISTA
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING

Inicio / IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING / Vol: 15 Núm: 2 Par: 0 (2003) / Artículo

ARTÍCULO

TITULO

Termination and Confluence by Rule Prioritization

Comai

S. Tanca

L.

Resumen

No disponible

PÁGINAS

pp. 257 - 270

NÚMERO

Volumen: 15 Número: 2 Parte: 0 (2003)

MATERIAS

INGENIERÍA Y CONSTRUCCIÓN CIVIL

Revistas destacadas

Acceso directo a los números publicados en la revista Infrastructures

Infrastructures

Acceso directo a los números publicados en la revista Informed Infraestructure

Informed Infraestructure

Acceso directo a los números publicados en la revista BiT

BiT

Acceso directo a los números publicados en la revista Revista de la Construcción

Revista de la Construcción

Ver todas las revistas