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

1998

  1. DREAM: The distributed Eden abstract machine

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

  2. Embedding multiset constraints into a lazy functional logic language

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

  3. Free variable tableaux for a logic with term declarations

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

  4. Improving control in functional logic program specialization

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

  5. Managing the usage experience in a library of software components

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

  6. Maude as a metalanguage

    Electronic Notes in Theoretical Computer Science

  7. Metalevel computation in maude

    Electronic Notes in Theoretical Computer Science