Size Invariant and Ranking Function Synthesisin a Functional Language

  1. Ricardo Peña 1
  2. Agustin D. Delgado-Muñoz 1
  1. 1 Universidad Complutense de Madrid, Spain
Libro:
Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011Odense, Denmark, July 19, 2011 Proceedings
  1. Herbert Kuchen (coord.)

Editorial: Springer Alemania

ISBN: 978-3-642-22531-4,  978-3-642-22530-7

Año de publicación: 2011

Páginas: 52-67

Congreso: WFLP (20. 2011. Odense)

Tipo: Aportación congreso

DIALNET GOOGLE SCHOLAR
Fuente de los datos: Dialnet