Información del autor
Documentos disponibles escritos por este autor (3)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
Nieva Soto, Susana ; Sánchez-Hernández, Jaime ; Sáenz-Pérez, Fernando | SPRINGER-VERLAG BERLIN | 2008In this paper, we present an extension of the scheme HH(C) (Hereditary Harrop formulas with Constraints) with a suitable formulation of negation in order to obtain a constraint deductive database query language. In addition to constraints, our p[...]texto impreso
Constructor-based term rewriting systems are a useful subclass of TRS, in particular for programming purposes. In this kind of systems constructors determine a universe of values, which are the expected output of the computations. Then it would [...]texto impreso
López-Fraguas, Francisco Javier ; Rodríguez-Hortalá, Juan ; Sánchez-Hernández, Jaime | Springer | 2008It is known that the behavior of non-deterministic functions with call-time choice semantics, present in current functional logic languages, is not well described by usual approaches to reduction like ordinary term rewriting systems or A-calculu[...]
