TAFA

MaRDI QIDQ19551swMATHFDO

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