Kongressbeiträge (7) 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. HEURISTICS FOR BRANCH-AND-BOUND GLOBAL ALLOCATION

    EURO-DAC 92 : EUROPEAN DESIGN AUTOMATION CONFERENCE

  4. Heuristics for branch-and-bound global allocation

    European Design Automation Conference

  5. Influencias de factores del nivel fisico en la estimación de area y tiempo en Síntesis de Alto Nivel

    VII Congreso de Diseño de Circuitos Integrados: 3, 4 y 5 de noviembre de 1992, Toledo, España : actas

  6. 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)

  7. Theorem proving with ordering constrained clauses

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