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
Buch:
Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011Odense, Denmark, July 19, 2011 Proceedings
  1. Herbert Kuchen (coord.)

Verlag: Springer Alemania

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

Datum der Publikation: 2011

Seiten: 52-67

Kongress: WFLP (20. 2011. Odense)

Art: Konferenz-Beitrag