Size Invariant and Ranking Function Synthesisin a Functional Language
- Ricardo Peña 1
- Agustin D. Delgado-Muñoz 1
- 1 Universidad Complutense de Madrid, Spain
- Herbert Kuchen (coord.)
Editorial: Springer Alemania
ISBN: 978-3-642-22531-4, 978-3-642-22530-7
Ano de publicación: 2011
Páxinas: 52-67
Congreso: WFLP (20. 2011. Odense)
Tipo: Achega congreso