Aportaciones congreso (5) Publicaciones en las que ha participado algún/a investigador/a

1992

  1. A general scheme for constraint functional logic programming

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

  2. Basic superposition is complete

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

  3. CSP Probabilístico (PCSP): un modelo operacional

    Panel '92: actas, XVIII Conferencia Latinoamericana de Informática

  4. MIZ-PR: A theorem prover for polymorphic and recursive functions

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

  5. Theorem proving with ordering constrained clauses

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