REVISTA
SIAM JOURNAL ON COMPUTING

Inicio / SIAM JOURNAL ON COMPUTING / Vol: 35 Núm: 5 Par: 0 (2006) / Artículo

ARTÍCULO

TITULO

Certifying Polynomial Time and Linear/Polynomial Space for Imperative Programs

Karl-Heinz Niggl and Henning Wunderlich

Resumen

No disponible

PÁGINAS

pp. 1122 - 1147

NÚMERO

Volumen: 35 Número: 5 Parte: 0 (2006)

MATERIAS

INGENIERÍA Y CONSTRUCCIÓN CIVIL
CIENCIAS EXACTAS

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