Summary: 



Safe Folding/Unfolding with Conditional

Narrowing?



M. Alpuente1 and M. Falaschi2 and G. Moreno3 and G. Vidal1

1 DSIC, Universidad Polit'ecnica de Valencia, Camino de Vera s/n, Apdo. 22012,

46020 Valencia, Spain. e.mail:{alpuente,gvidal}@dsic.upv.es.
2 Dipartimento di Matematica e Informatica, Universit`a di Udine, Via delle Sc*
*ienze

206, 33100 Udine, Italy. e.mail:falaschi@dimi.uniud.it.
3 Departamento de Inform'atica, Universidad de Castilla-La Mancha, Campus

Source: Alpuente, María - Departamento de Sistemas Informáticos y Computación, Universitat Politècnica de València

Collections: Computer Technologies and Information Sciences