TAFA

swMATH7524MaRDI QIDQ19551FDOQ19551

Author name not available (Why is that?)

Described by source

• TAFA – A Tool for Admissibility in Finite Algebras

Cited In (1)

• Admissibility in finitely generated quasivarieties

This page was built for software: TAFA