Articles (4)

¹ Publicaciones consideradas como producción de la unidad.

View referenced research data.

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

2020

  1. Extending OCL with Subjective Logic

    Journal of Object Technology, Vol. 19, Núm. 3, pp. 1-15

  2. Ground confluence of order-sorted conditional specifications modulo axioms

    Journal of Logical and Algebraic Methods in Programming, Vol. 111

  3. Programming and symbolic computation in Maude

    Journal of Logical and Algebraic Methods in Programming, Vol. 110

  4. The Forbidden Region Self-Organizing Map Neural Network

    IEEE Transactions on Neural Networks and Learning Systems, Vol. 31, Núm. 1, pp. 201-211