Mathematical Foundation of a Functional Implementation of the CNF Algorithm
- García-Olmedo, F.M.
- García-Miranda, J.
- González-Rodelas, P.
Revista:
Algorithms
ISSN: 1999-4893
Año de publicación: 2023
Volumen: 16
Número: 10
Tipo: Artículo