Navegación

Búsqueda

Búsqueda avanzada

Sesión 10: Trabajos ya publicados (II)

Listado de artículos correspondientes a la sesión Trabajos ya publicados (II)

  1. Reversible Term Rewriting
    Naoki Nishida / Adrián Palacios  / Germán Vidal / 
  2. Combining Runtime Checking and Slicing to improve Maude Error Diagnosis
    María Alpuente  /  Francisco Frechina  / Julia Sapiña / Demis Ballis / 
  3. Que Ningún Término Resoluble de Lambda-Valor Se Quede Atrás (resumen)
    Álvaro García-Pérez / Pablo Nogueira / 
  4. Polymorphic Types in Erlang Function Specifications
    Francisco Javier López-Fraguas, / Manuel Montenegro / Juan Rodríguez-Hortalá /