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

2002

  1. A categorical approach to unification of generalised terms

    Electronic Notes in Theoretical Computer Science

  2. A multi-adjoint approach to similarity-based unification

    Electronic Notes in Theoretical Computer Science

  3. A neural approach to abductive multi-adjoint reasoning

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

  4. A similarity-based unification model for flexible querying

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

  5. Multi-adjoint logic programming: A neural net approach

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

  6. Non-commutativity and expressive deductive logic databases

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

  7. Non-commutativity and expressive deductive logic databases

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

  8. Prolongations of vector fields and the invariants-by-derivation property

    Theoretical and Mathematical Physics

  9. Quasiconformal mappings and solutions of the dispersionless KP hierarchy

    Theoretical and Mathematical Physics

  10. Reductions of the dispersionless KP hierarchy

    Theoretical and Mathematical Physics

  11. Restricción y platitud

    Actas del EACA-2002: Octavo Encuentro de Álgebra Computacional y Aplicaciones, Peñaranda de Duero, 11-13 septiembre de 2002

  12. Saturated numerical semigroups

    Actas del EACA-2002: Octavo Encuentro de Álgebra Computacional y Aplicaciones, Peñaranda de Duero, 11-13 septiembre de 2002

  13. The oversemigroups of a numerical semigroup

    Actas del EACA-2002: Octavo Encuentro de Álgebra Computacional y Aplicaciones, Peñaranda de Duero, 11-13 septiembre de 2002

  14. Viaje a través de la cuadratura del círculo

    Conferencias y Ponencias de las X JAEM