Publicaciones (9) Publicaciones de FRANCISCO MIGUEL GARCÍA OLMEDO

2023

  1. Desarrollando y explorando conceptos y técnicas matemáticas mediante el ecosistema Python

    Innovación docente e investigación en ciencias, ingeniería y arquitectura: nuevas tendencias para el cambio en la enseñanza superior (Dykinson), pp. 339-352

  2. Docencia de polinomios y grafos con el sistema de computación Sagemath

    Innovación docente e investigación en ciencias, ingeniería y arquitectura: nuevas tendencias para el cambio en la enseñanza superior (Dykinson), pp. 239-256

  3. Mathematical Foundation of a Functional Implementation of the CNF Algorithm

    Algorithms, Vol. 16, Núm. 10

2022

  1. Haskell en la docencia de la matemática discreta

    Innovación Docente e Investigación en Ciencias, Ingeniería y Arquitectura: Experiencias de cambio en la Metodología Docente (Dykinson), pp. 431-448

2003

  1. Negation and BCK-algebras

    Mathematical Logic Quarterly, Vol. 49, Núm. 4, pp. 336-346

2002

  1. Algebraization of the Three-valued BCK-logic

    Mathematical Logic Quarterly, Vol. 48, Núm. 2, pp. 163-178

2000

  1. Linearization of the BCK-logic

    Studia Logica, Vol. 65, Núm. 1, pp. 31-51

1995

  1. A Structure Theorem for Free Temporal Algebras

    Mathematical Logic Quarterly, Vol. 41, Núm. 2, pp. 249-256

  2. Temporal Algebras, Pretemporal Algebras, and Modal Algebras: A Relation between Time and Necessity

    Mathematical Logic Quarterly, Vol. 41, Núm. 1, pp. 24-38