1990 | ||
---|---|---|
3 | Albrecht Fortenbacher: Efficient Type Inference and Coercion in Computer Algebra. DISCO 1990: 56-60 | |
1989 | ||
2 | Michael Clausen, Albrecht Fortenbacher: Efficient Solution of Linear Diophantine Equations. J. Symb. Comput. 8(1/2): 201-216 (1989) | |
1987 | ||
1 | Albrecht Fortenbacher: An Algebraic Approach to Unification Under Associativity and Commutativity. J. Symb. Comput. 3(3): 217-229 (1987) |
1 | Michael Clausen | [2] |