Search results for: Vincent Rahli
Science of Computer Programming > 2017 > 148 > C > 26-48
Journal of Symbolic Computation > 2017 > 80 > P1 > 164-208
Electronic Notes in Theoretical Computer Science > 2015 > 312 > Complete > 197-213
Electronic Notes in Theoretical Computer Science > 2009 > 247 > Complete > 85-101