TAFA – A Tool for Admissibility in Finite Algebras

DOI10.1007/978-3-642-40537-2_21zbMath1401.68279OpenAlexW2276213760MaRDI QIDQ2851949

Christoph Röthlisberger

Publication date: 4 October 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-40537-2_21

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Quasivarieties (08C15) Free algebras (08B20) Software, source code, etc. for problems pertaining to general algebraic systems (08-04)

Related Items (1)

TAFA

This page was built for publication: TAFA – A Tool for Admissibility in Finite Algebras