Memorias de investigación
Otras publicaciones:
Cost Analysis with Recurrence Relations (using CiaoPP).
Año:2017
Áreas de investigación
  • Ingenierías
Datos
Descripción
Invited tutorial at Dagstuhl Seminar on Resource Bound Analysis. Schloss Dagstuhl, Germany. July 2017.
Internacional
Si
Entidad
Schloss Dagstuhl
Lugar
Germany
Páginas
Referencia/URL
http://materials.dagstuhl.de/files/17/17291/17291.ManuelHermenegildo1.Slides.pdf
Tipo de publicación
Invited tutorial
Esta actividad pertenece a memorias de investigación
Participantes
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Inteligencia Artificial