Size Invariant and Ranking Function Synthesisin a Functional Language

• Ricardo Peña ^[1] ; Agustin D. Delgado-Muñoz ^[1]
  1. [1] Universidad Complutense de Madrid

     Universidad Complutense de Madrid

     Madrid, España

     
• Localización: Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011Odense, Denmark, July 19, 2011 Proceedings / coord. por Herbert Kuchen , 2011, ISBN 978-3-642-22531-4, págs. 52-67
• Idioma: español
• Texto completo no disponible (Saber más ...)