Search results for: Moulay A. Barkatou
Journal of Symbolic Computation > 2017 > 81 > C > 41-68
Journal of Symbolic Computation > 2013 > 49 > Complete > 45-64
Journal of Symbolic Computation > 2011 > 46 > 6 > 633-658
Mathematics in Computer Science > 2010 > 4 > 2-3 > 267-288
Journal of Symbolic Computation > 2009 > 44 > 8 > 1017-1036
Journal of Pure and Applied Algebra > 2008 > 212 > 9 > 2129-2139
Journal of Symbolic Computation > 1999 > 28 > 4-5 > 547-567