Colomb, Pierre; Irlande, Alexis; Raynaud, Olivier; Renaud, Yoan Recursive decomposition tree of a Moore co-family and closure algorithm. (English) Zbl 1311.06004 Ann. Math. Artif. Intell. 70, No. 1-2, 107-122 (2014). MSC: 06A15 06B05 × Cite Format Result Cite Review PDF Full Text: DOI HAL
Colomb, Pierre; Irlande, Alexis; Raynaud, Olivier; Renaud, Yoan Recursive decomposition and bounds of the lattice of Moore co-families. (English) Zbl 1311.06003 Ann. Math. Artif. Intell. 67, No. 2, 109-122 (2013). MSC: 06A15 05A15 06B05 × Cite Format Result Cite Review PDF Full Text: DOI