Showing 1 - 2 results of 2 for search 'Francisco Miguel García-Olmedo', query time: 0.02s Refine Results
  1. 1
    Mathematical Foundation of a Functional Implementation of the CNF Algorithm

    Mathematical Foundation of a Functional Implementation of the CNF Algorithm by Francisco Miguel García-Olmedo, Jesús García-Miranda, Pedro González-Rodelas

    Published 2023-09-01
    Get full text
    Article
  2. 2
    Certain Bounds of Formulas in Free Temporal Algebras

    Certain Bounds of Formulas in Free Temporal Algebras by Francisco Miguel García-Olmedo, Antonio Jesús Rodríguez-Salas, Pedro González-Rodelas

    Published 2023-12-01
    Get full text
    Article

Search Tools: