Summary: 



Conditional Narrowing with Constructive

Negation?



Mar'ia Jos'e Ram'irez1, Moreno Falaschi2

1 Departamento de Sistemas Inform'aticos y Computaci'on,

Universidad Polit'ecnica de Valencia,
Camino de Vera s/n, Apdo. 22012, 46020 Valencia, Spain.

2 Dipartimento di Informatica,

Universit`a di Pisa,

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

Collections: Computer Technologies and Information Sciences