Author
A. Bouhoula
Ecole Superieure des Communications de Tunis
B. Buchberger
Johannes Kepler University of Linz (JKU)
Laura Kovacs
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
T. Kutsia
Johannes Kepler University of Linz (JKU)
Journal of Symbolic Computation
0747-7171 (ISSN) 1095-855X (eISSN)
Vol. 69 1 1-2Subject Categories
Computer and Information Science
DOI
10.1016/j.jsc.2014.09.027