TAFA

swMATH7524MaRDI QIDQ19551FDOQ19551

Author name not available (Why is that?)

Official website: http://www.math.unibe.ch/unibe/philnat/math/content/e8614/e337481/report13-04_ger.pdf

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