Kongressbeiträge (5) Publikationen, an denen Forscher/innen teilgenommen haben

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)