Publications (11)

2008

  1. Matemática discreta y lógica matemática

    Editorial Complutense

  2. Lógica matemática para informáticos: ejercicios resueltos

    Madrid : Pearson Educación, [2008

2007

  1. A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the C F L P Scheme

    Electronic Notes in Theoretical Computer Science, Vol. 177, Núm. 1, pp. 235-252

1999

  1. Semantics and types in functional logic programming

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Approach to declarative programming based on a rewriting logic

    Journal of Logic Programming, Vol. 40, Núm. 1, pp. 47-87

1998

  1. Matemática discreta y lógica matemática

    Editorial Complutense

1996

  1. A rewriting logic for declarative programming

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

1993

  1. On the completeness of narrowing as the operational semantics of functional logic programming

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

1989

  1. Hoare's logic for nondeterministic regular programs: A nonstandard approach

    Theoretical Computer Science, Vol. 68, Núm. 3, pp. 277-302

1988

  1. Some general incompleteness results for partial correctness logics

    Information and Computation, Vol. 79, Núm. 1, pp. 22-42

1985

  1. Hoare's logic for nondeterministic regular programs: A nonstandard completeness theorem

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)