3 Artículos

Macro Tree Translations of Linear Size Increase Are MSO Definable

Solicitud

usuarios registrados

Engelfriet, J. Maneth, S. Pág. 950 - 1006

Revista: SIAM JOURNAL ON COMPUTING Formato: Impreso

Tabla de contenido: Vol: 32 Num: 4 Par: 0 Año: 2003

Knowledge-Based Systems - A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective

Solicitud

usuarios registrados

Eck, P van; Engelfriet, J; Fensel, D; Harmelen, F van; Venema, Y; Willems, Pág. 462 - 496

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

Tabla de contenido: Vol: 13 Num: 3 Par: 0 Año: 2001

« Anterior Página: 1 de 1 Siguiente »