Articles (6)

¹ Publicaciones consideradas como producción de la unidad.

View referenced research data.

in the year 2017 Remove filter
filter_list Type (aggr.) Articles from 2017 to 2017 Computational Theory and Mathematics

2017

  1. A program analysis framework for tccp based on abstract interpretation

    Formal Aspects of Computing, Vol. 29, Núm. 3, pp. 531-557

  2. An improved problem aware local search algorithm for the DNA fragment assembly problem

    Soft Computing, Vol. 21, Núm. 7, pp. 1709-1720

  3. Formation of the D-basis from implicational systems using Simplification logic

    International Journal of General Systems, Vol. 46, Núm. 5, pp. 547-568

  4. Horn fragments of the Halpern-Shoham interval temporal logic

    ACM Transactions on Computational Logic, Vol. 18, Núm. 3

  5. On reductants in the framework of multi-adjoint logic programming

    Fuzzy Sets and Systems, Vol. 317, pp. 27-43

  6. The Problem Aware Local Search algorithm: an efficient technique for permutation-based problems

    Soft Computing, Vol. 21, Núm. 18, pp. 5193-5206