Rodríguez-Lorenzo, Estrella; Bertet, Karell; Cordero, Pablo; Enciso, Manuel; Mora, Ángel Direct-optimal basis computation by means of the fusion of simplification rules. (English) Zbl 1398.68520 Discrete Appl. Math. 249, 106-119 (2018). MSC: 68T30 68T27 PDFBibTeX XMLCite \textit{E. Rodríguez-Lorenzo} et al., Discrete Appl. Math. 249, 106--119 (2018; Zbl 1398.68520) Full Text: DOI
Rodríguez-Lorenzo, Estrella; Cordero, Pablo; Enciso, Manuel; Mora, Ángel Canonical dichotomous direct bases. (English) Zbl 1428.68291 Inf. Sci. 376, 39-53 (2017). MSC: 68T30 06A15 PDFBibTeX XMLCite \textit{E. Rodríguez-Lorenzo} et al., Inf. Sci. 376, 39--53 (2017; Zbl 1428.68291) Full Text: DOI
Rodríguez-Lorenzo, Estrella; Cordero, Pablo; Enciso, Manuel; Mora, Angel A logical approach for direct-optimal basis of implications. (English) Zbl 1409.68285 Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 116, 204-211 (2015). MSC: 68T30 68T27 PDFBibTeX XMLCite \textit{E. Rodríguez-Lorenzo} et al., Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 116, 204--211 (2015; Zbl 1409.68285) Full Text: Link