zbMath0900.03057MaRDI QIDQ4391230
Daniel Richardson
Publication date: 1 October 1998
Mathematics Subject Classification ID
68W30: Symbolic computation and algebraic computation
03C60: Model-theoretic algebra