Automatic construction of finite algebras
From MaRDI portal
Publication:1894320
DOI10.1007/BF02943488zbMath0837.68052MaRDI QIDQ1894320
Publication date: 24 July 1995
Published in: Journal of Computer Science and Technology (Search for Journal in Brave)
68W30: Symbolic computation and algebraic computation
Uses Software
Cites Work