Mostrar el registro completo del ítem
Tarín Morales, F. (2010). Estrategias para la evaluación ascendente de programas Datalog con garantías de coste en tiempo y memoria. http://hdl.handle.net/10251/9477.
Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/9477
Título: | Estrategias para la evaluación ascendente de programas Datalog con garantías de coste en tiempo y memoria | |||
Autor: | Tarín Morales, Fernando | |||
Director(es): | Joubert, Christophe | |||
Entidad UPV: |
|
|||
Fecha acto/lectura: |
|
|||
Derechos de uso: | Cerrado | |||
Editorial: |
|
|||
Titulación: |
|
|||
Tipo: |
|