Publicaciones (11) Publicaciones en las que ha participado algún/a investigador/a

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. Approach to declarative programming based on a rewriting logic

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

  2. Semantics and types in functional logic programming

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

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)