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.)
Publisher: Springer Alemania
ISBN: 978-3-642-22531-4, 978-3-642-22530-7
Year of publication: 2011
Pages: 52-67
Congress: WFLP (20. 2011. Odense)
Type: Conference paper