Personensuche
X
?
Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation ,
8
Compatible rewriting of noncommutative polynomials for prov..:
, In:
?
Proceedings of the 2016 ACM International Symposium on Symbolic and Algebraic Computation ,
12